The computation of liveness enforcing supervisors from submodels of a Petri net model of FMSs

IEEE Region 10 Annual International Conference, Proceedings/TENCON

Volumn , Issue , 2013, Pages

  Uzam, Murat ^a   Zakariyya, Rabiu Saleh ^a   Li, Zhiwu ^b   Gelen, Gokhan ^c  

^a MELIKSAH UNIVERSITY   (Turkey)

^b XIDIAN UNIVERSITY   (China)

^c GAZIOSMANPASA UNIVERSITY   (Turkey)

Author keywords

deadlock prevention; Flexible manufacturing systems (FMS); liveness enforcing supervisor (LES); Petri net model (PNM)

Indexed keywords

EID: 84894314665     PISSN: 21593442     EISSN: 21593450     Source Type: Conference Proceeding    
DOI: 10.1109/TENCON.2013.6718803     Document Type: Conference Paper

References (14)

1. Z.W. Li, M.C. Zhou, and N.Q. Wu, "A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems," IEEE Trans. on Sys. Man and Cybern. Part C-Applications and Reviews vol. 38, Issue: 2, pp. 173-188, March 2008.
2. J. Ezpeleta, J.M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, Issue: 2, pp. 173-184, 1995.
3. M. Uzam, "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., vol. 19, Issue: 3, pp. 192-208, 2002.
4. Li, Z., and M.C. Zhou, "Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Robot. Sys. Man and Cyber. Part A: Systems and Humans, vol. 34, Issue: 1, pp. 38- 51, 2004.
5. Y.S. Huang, M.D. Jeng, X.L. Xie, et al., "Siphon-based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. on Sys. Man and Cybern. Part A-Systems and Humans vol. 36, Issue: 6, pp. 1248-1256 November 2006.
6. M. Uzam and M.C. Zhou, "An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems," Int. J. Prod. Res., vol. 44, Issue: 10, pp. 1987-2030, 15 May 2006.
7. M. Uzam and M.C. Zhou, "An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. on Sys., Man and Cybern. - Part A: Systems and Humans, vol. 37, Issue: 3, pp. 362-371, 2007.
8. M. Uzam, Z.W. Li, and M.C. Zhou, "Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS," The Int. J. of Adv. Manuf. Tech., vol. 35, Issues: 1-2, pp. 150-168, 2007.
9. Z.W. Li, S. Zhu, and M.C. Zhou, "A Divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems," IEEE Trans. on Sys. Man and Cybern. Part C-Applications and Reviews vol. 39, Issue: 2, pp. 156-169, March 2009.
10. Y.F. Chen, Z.W. Li, M. Khalgui, O. Mosbahi, "Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems," IEEE Trans. on Auto. Sci. and Eng. vol. 8, Issue: 2, pp. 374-39,3 April 2011.
11. K. Yamalidou, J. Moody, M. Lemmon, and P.Antsaklis, "Feedback control of petri nets based on place invariants," Automatica, vol. 32, Issue:1, pp. 15-28, 1996.
12. INA, 31.07.2003, Integrated Net Analyzer, a software tool for analysis of Petri nets, Version 2.2. Posted at URL: http://www.informatik.hu-berlin.de/ ~starke/ina.html.
13. S.G. Wang, C.Y. Wang, and M.C. Zhou, "Controllability conditions of resultant siphons in a class of Petri nets," IEEE Transactions on Systems Man and Cybernetics Part A-Systems and Humans vol. 42, Issue: 5 pp. 1206-1215, 2012.
14. Z. Li and D. Liu, "A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net," International journal of production research vol. 45, Issue :9, pp. 2161-2165, 2007.