A deadlock prevention approach for a class of timed Petri nets using elementary siphons

Asian Journal of Control

Volumn 12, Issue 3, 2010, Pages 347-363

  Guo, Jinwei ^a   Li, Zhiwu ^b  

^a XIDIAN UNIVERSITY   (China)

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

Deadlock prevention; Elementary siphon; Flexible manufacturing systems; Timed Petri nets

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS; SUPERVISORY PERSONNEL;

DEADLOCK PREVENTION; DEADLOCK PREVENTION POLICY; ELEMENTARY SIPHON; LIVENESS-ENFORCING SUPERVISOR; REDUNDANT CONTROLS; SIMPLE STRUCTURES; STRICT MINIMAL SIPHON; TIMED PETRI NET;

SIPHONS;

EID: 77955336857     PISSN: 15618625     EISSN: None     Source Type: Journal    
DOI: 10.1002/asjc.189     Document Type: Article

References (24)

1. Murata, T., "Petri nets: properties, analysis, and applications," Proc. IEEE, Vol. 77, No. 4, pp. 541-580(1989).
2. Salum, L., "Petri nets and time modelling," Int. J. Adv. Manuf. TechnoL, Vol. 38, No. 3-4, pp. 377-382 (2008).
3. Wang, J. C, Timed Petri Nets: Theory and Application. Kluwer Academic, Norwell (1998).
4. Zhou, M. C. and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: a Petri Net Approach, World Scientific, Singapore (1999).
5. Wang, J. C, Y. Deng, and G. Xu, "Reachability analysis of real-time systems using time Petri nets," IEEE Trans. Syst. Man Cybern. Part B, Vol. 30, No. 5, pp. 725-736 (2000).
6. Salum, L., "Representing time as a state in Petri nets," Proc. 2nd Int. Conf. Responsive Manuf, Turkey, pp. 955-960 (2002).
7. Salum, L., "New perspectives in time(d) Petri nets and their analysis," Proc. IEEE Conf. Control Appl, Istanbul, pp. 1041-1045 (2003).
8. Aybar, A. and Iftar A, "Supervisory controller design for timed Petri nets," Proc. IEEE/SMC Int. Conf. Syst., Syst. Eng., Los Angeles, USA, pp. 59-64 (2006).
9. Bowden, F. D. J., "A brief survey and synthesis of the roles of time in Petri nets," Math. Comput. Model, Vol. 31, No. 10-12, pp. 55-68 (2000).
10. Giua, A. C. Seatzu, and F. Basile, "Observer-based state-feedback control of timed Petri nets with deadlock recovery," IEEE Trans. Autom. Control, Vol. 49, No. 1, pp. 17-29 (2004).
11. Li, Z. W. and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst. Man Cybern. Part A, Vol. 34, No. l,pp. 38-51 (2004).
12. Li, Z. W. and M. C. Zhou, "Clarifications on the definitions of elementary siphons of Petri nets," IEEE Trans. Syst. Man Cybern. Part A, Vol. 36, No. 6, pp. 1227-1229 (2006).
13. Li, Z. W. and M. C. Zhou, "Control of elementary and dependent siphons in Petri nets and their application," IEEE Trans. Syst. Man Cybern. Part A, Vol. 38, No. 1, pp. 133-148 (2008).
14. Li, Z. W. and X. F. Zhang, "A deadlock prevention approach using elementary siphons for a class of Petri nets," Proceedings of the IEEE Int. Conf Syst. Man Cybern., Mague, the Netherlands, pp. 1728-1733 (2004).
15. Ezpeleta, J., J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., Vol. 11, No. 2, pp. 173-184 (1995).
16. Li, Z. W. and M. C. Zhou, "A deadlock control method using elementary siphons of Petri nets," Proceedings of the IEEE Int. Conf Syst. Man Cybern., Washington, DC, pp. 2716-2720 (2003).
17. Garcia-valles F. and J. M. Colom, "Implicit places in net systems," Proc. 8th Int. Workshop Petri Nets Perform. Models, Zaragoza, Spain, pp. 104-113(1999).
18. Recalde, L., E. Teruel, and M. Silva, "Improving the decision power of rank theorems," Proc. IEEE Int. Conf. Syst. Man Cybern., Orlando, USA, pp. 3768-3773 (1997).
19. Chu, F. and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., Vol. 13, No. 6, pp. 793-804(1997).
20. Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung, "A deadlock prevention policy for flexible manufacturary systems using siphons," Proc. IEEE Int. Conf. Robot. Autom., Seoul, Korea, pp. 541-546(2001).
21. Li, Z. W. and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri net Approach, Springer, Berlin (2009).
22. Barkaoui, K. and J. F. Pradat-Peyre, "On the liveness and controlled siphons in Petri nets," Proc. 17th Int. Conf. Appl. Theory Petri nets, Osaka, Japan, pp. 57-72 (1996).
23. Abdallah, I. B. and H. A. EIMaraghy, "Deadlock prevention and avoidance in FMS: a Petri net based approach," Int. J. Adv. Manuf Technol, Vol. 14, No. 10, pp. 704-715(1998).
24. Uzam, M., Z. W. Li, and M. C. Zhou, "Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS," Int. J. Adv. Manuf. Technol, Vol. 35, No. 1-2, pp. 150-168 (2007).