TY - GEN
T1 - Iterative synthesis of petri net based deadlock prevention policy for flexible manufacturing systems
AU - Uzam, Murat
AU - Zhou, Meng Chu
PY - 2004
Y1 - 2004
N2 - This paper presents an iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems (FMS). Given the Petri net (PN) of an FMS prone to deadlock, the goal is to obtain a live controlled PN such that its use for control can lead to high utilization of system resources. In the proposed method, at each iteration, a first-met bad marking is singled out from the reachability graph of PN. The objective is to prevent this marking from being reached by a place invariant. To satisfy this place invariant, a well-established invariant-based control method is used to derive a control place with its related arcs and initial marking. This process is carried out until the PN becomes live. The method is easy to use, effective and straightforward. It is generally applicable-yet its off-line computation is of exponential complexity. An example FMS is used to show the proposed method.
AB - This paper presents an iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems (FMS). Given the Petri net (PN) of an FMS prone to deadlock, the goal is to obtain a live controlled PN such that its use for control can lead to high utilization of system resources. In the proposed method, at each iteration, a first-met bad marking is singled out from the reachability graph of PN. The objective is to prevent this marking from being reached by a place invariant. To satisfy this place invariant, a well-established invariant-based control method is used to derive a control place with its related arcs and initial marking. This process is carried out until the PN becomes live. The method is easy to use, effective and straightforward. It is generally applicable-yet its off-line computation is of exponential complexity. An example FMS is used to show the proposed method.
KW - Deadlock prevention
KW - Flexible manufacturing systems (FMS)
KW - Petri nets (PN)
KW - Reachability analysis
UR - http://www.scopus.com/inward/record.url?scp=15744377860&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=15744377860&partnerID=8YFLogxK
U2 - 10.1109/ICSMC.2004.1401200
DO - 10.1109/ICSMC.2004.1401200
M3 - Conference contribution
AN - SCOPUS:15744377860
SN - 0780385667
T3 - Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
SP - 4260
EP - 4265
BT - 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004
T2 - 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004
Y2 - 10 October 2004 through 13 October 2004
ER -