TY - GEN
T1 - On iterative liveness-enforcement for a class of generalized Petri nets
AU - Hou, Yifan
AU - Liu, Ding
AU - Zhou, Mengchu
PY - 2012
Y1 - 2012
N2 - This work presents an iterative liveness-enforcing method for a class of generalized Petri nets, which can model flexible manufacturing systems. The proposed method checks the liveness of net models using mixed integer programming and controls the token allocations of resource places instead of siphons using a liveness and resource usage ratio-enforcing supervisor. The enumeration of a kind of special structures, which is required in the previous work, is avoided and the number of iterations is bounded by the number of shared resource places in the net model. All strict minimal siphons in the controlled systems are minimally controlled. Several explanatory examples are used to illustrate this method.
AB - This work presents an iterative liveness-enforcing method for a class of generalized Petri nets, which can model flexible manufacturing systems. The proposed method checks the liveness of net models using mixed integer programming and controls the token allocations of resource places instead of siphons using a liveness and resource usage ratio-enforcing supervisor. The enumeration of a kind of special structures, which is required in the previous work, is avoided and the number of iterations is bounded by the number of shared resource places in the net model. All strict minimal siphons in the controlled systems are minimally controlled. Several explanatory examples are used to illustrate this method.
UR - http://www.scopus.com/inward/record.url?scp=84872555024&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84872555024&partnerID=8YFLogxK
U2 - 10.1109/CoASE.2012.6386348
DO - 10.1109/CoASE.2012.6386348
M3 - Conference contribution
AN - SCOPUS:84872555024
SN - 9781467304283
T3 - IEEE International Conference on Automation Science and Engineering
SP - 188
EP - 193
BT - 2012 IEEE International Conference on Automation Science and Engineering
T2 - 2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012
Y2 - 20 August 2012 through 24 August 2012
ER -