© The Institution of Engineering and Technology
A controllability condition of a siphon composed of three elementary ones in a class of Petri nets, namely S3PR, 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 S3PR if every dependent siphon is m-composed with m ≤ 3.
References
-
-
1)
-
6. Wang, A.R., Li, Z.W., Jia, J.Y., Zhou, M.C.: ‘An effective algorithm to find elementary siphons in a class of Petri nets’, IEEE Trans. Syst., Man, Cybern., A., 2009, 39, pp. 912–923 (doi: 10.1109/TSMCA.2009.2019880).
-
2)
-
3. Uzam, M.: ‘An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions’, Int. J. Adv. Manuf. Tech., 2002, 19, pp. 192–208.
-
3)
-
1. Fanti, M.P., Zhou, M.: ‘Deadlock control methods in automated manufacturing systems’, IEEE Trans. Syst., Man, Cybern., A., 2004, 34, pp. 5–22 (doi: 10.1109/TSMCA.2003.820590).
-
4)
-
2. Li, Z.W., Zhou, M.C.: ‘Deadlock resolution in automated manufacturing systems: a novel Petri net approach’ (Springer, Berlin, 2009).
-
5)
-
4. Hou, Y.F., Li, Z.W., Al-Ahmari, A.M.: ‘On optimal controllability of 2-composed siphons in a class of Petri nets’, Electron. Lett., 2012, 48, (24), pp. 1535–1537 (doi: 10.1049/el.2012.2336).
-
6)
-
5. Li, Z.W., Zhou, M.C.: ‘On siphon computation for deadlock control in a class of Petri nets’, IEEE Trans. Syst., Man, Cybern., A., 2008, 38, pp. 667–679.
http://iet.metastore.ingenta.com/content/journals/10.1049/el.2012.4512
Related content
content/journals/10.1049/el.2012.4512
pub_keyword,iet_inspecKeyword,pub_concept
6
6