Optimal controllability of 3-composed siphons in a class of Petri nets

A controllability condition of a siphon composed of three elementary ones in a class of Petri nets, namely S 3 PR, is developed. Under the condition, a maximally permissive liveness-enforcing supervisor expressed by a set of monitors (control places) can be decided by an algorithm with polynomial complexity for an S 3 PR if every dependent siphon is m -composed with m ≤ 3.

[1]  MengChu Zhou,et al.  On Siphon Computation for Deadlock Control in a Class of Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[2]  MengChu Zhou,et al.  An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[3]  Murat Uzam,et al.  An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions , 2002 .

[4]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[5]  Abdulrahman Al-Ahmari,et al.  Optimal controllability of 2-composed siphons in a class of Petri nets , 2012 .