TY - GEN
T1 - A siphon-based deadlock prevention policy for a class of Petri nets-S3PMR
AU - Yan, Mingming
AU - Zhu, Rongming
AU - Li, Zhiwu
AU - Wang, Anrong
AU - Zhou, Meng Chu
N1 - Funding Information:
This work was partially supported by the National Nature Science Foundation of China under Grant No 60474018, the Laboratory Foundation for the Returned Overseas Chinese Scholars, Ministry of Education, PRC, under Grant No 030401, and chang jiang scholars program Ministry of Education, PRC.
PY - 2008
Y1 - 2008
N2 - This paper focuses on the problem of deadlocks in automated flexible manufacturing systems (FMS) where deadlocks are caused by unmarked siphons in their Petri net models. A deadlock prevention policy is proposed for a subclass of Petri nets, S3PMR that can well model a large class of FMS. We distinguish siphons in such a net model by elementary and dependent ones. For each elementary siphon, a monitor is added to the plant model such that it is invariant- controlled. The monitor addition way guarantees that no emptiable control-induced siphon in the resultant net is generated due to the addition of monitors. This novel deadlock prevention policy can usually lead to a more permissive supervisor by adding a relatively much smaller number of monitors and arcs than the existing methods for the design of liveness-enforcing Petri net supervisors. Experimental study validates the result.
AB - This paper focuses on the problem of deadlocks in automated flexible manufacturing systems (FMS) where deadlocks are caused by unmarked siphons in their Petri net models. A deadlock prevention policy is proposed for a subclass of Petri nets, S3PMR that can well model a large class of FMS. We distinguish siphons in such a net model by elementary and dependent ones. For each elementary siphon, a monitor is added to the plant model such that it is invariant- controlled. The monitor addition way guarantees that no emptiable control-induced siphon in the resultant net is generated due to the addition of monitors. This novel deadlock prevention policy can usually lead to a more permissive supervisor by adding a relatively much smaller number of monitors and arcs than the existing methods for the design of liveness-enforcing Petri net supervisors. Experimental study validates the result.
KW - Automata, Petri Nets and other tools
KW - Discrete event systems modeling and control
UR - http://www.scopus.com/inward/record.url?scp=79961018466&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79961018466&partnerID=8YFLogxK
U2 - 10.3182/20080706-5-KR-1001.0967
DO - 10.3182/20080706-5-KR-1001.0967
M3 - Conference contribution
AN - SCOPUS:79961018466
SN - 9783902661005
T3 - IFAC Proceedings Volumes (IFAC-PapersOnline)
BT - Proceedings of the 17th World Congress, International Federation of Automatic Control, IFAC
T2 - 17th World Congress, International Federation of Automatic Control, IFAC
Y2 - 6 July 2008 through 11 July 2008
ER -