TY - GEN
T1 - Resource-oriented petri net-based approach to deadlock prevention of AMSs
AU - Chen, Hefeng
AU - Wu, Naiqi
AU - Zhou, Mengchu
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2016/1/12
Y1 - 2016/1/12
N2 - Based on the systems of simple sequential processes with resources (S3PR) model, the existing methods involve prohibitive computation to synthesize a deadlock prevention controller for automated manufacturing systems (AMS). To reduce the computation, this work studies this problem by using a resource-oriented Petri net (ROPN) model. By revealing the relationship between bad markings and structural properties of an ROPN, it presents a method such that a deadlock prevention controller can be obtained by simple calculation. By such a controller, for each strongly connected subnet in an ROPN, only one control place is needed such that it is structurally very simple. Furthermore, a condition is given under which a maximally permissive controller can be efficiently obtained, which was never seen before. Examples are used to show the application and performance of the proposed method.
AB - Based on the systems of simple sequential processes with resources (S3PR) model, the existing methods involve prohibitive computation to synthesize a deadlock prevention controller for automated manufacturing systems (AMS). To reduce the computation, this work studies this problem by using a resource-oriented Petri net (ROPN) model. By revealing the relationship between bad markings and structural properties of an ROPN, it presents a method such that a deadlock prevention controller can be obtained by simple calculation. By such a controller, for each strongly connected subnet in an ROPN, only one control place is needed such that it is structurally very simple. Furthermore, a condition is given under which a maximally permissive controller can be efficiently obtained, which was never seen before. Examples are used to show the application and performance of the proposed method.
KW - Petri nets
KW - automated manufacturing systems
KW - deadlock prevention
UR - http://www.scopus.com/inward/record.url?scp=84964521005&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84964521005&partnerID=8YFLogxK
U2 - 10.1109/SMC.2015.101
DO - 10.1109/SMC.2015.101
M3 - Conference contribution
AN - SCOPUS:84964521005
T3 - Proceedings - 2015 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015
SP - 515
EP - 520
BT - Proceedings - 2015 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015
Y2 - 9 October 2015 through 12 October 2015
ER -