Transition-based deadlock detection and recovery policy for FMSs using graph technique

Transactions on Embedded Computing Systems

Volumn 12, Issue 1, 2013, Pages

  Huang, Yi Sheng ^a,b   Pan, Yen Liang ^a,d   Su, Pin June ^c  

^a NATIONAL DEFENSE UNIVERSITY   (Taiwan)

^b NATIONAL ILAN UNIVERSITY   (Taiwan)

^c DEPARTMENT OF ELECTRONIC ENGINEERING   (Taiwan)

^d CHUNG SHAN INSTITUTE OF SCIENCE AND TECHNOLOGY   (Taiwan)

Author keywords

Deadlock prevention; Flexible manufacturing system; Petri net

Indexed keywords

CONTROL PLACE; CONTROLLED TRANSITIONS; DEADLOCK DETECTION AND RECOVERIES; DEADLOCK PREVENTION; DEADLOCK PREVENTION POLICY; GRAPH TECHNIQUE; GRAPH-BASED; PREVENTION POLICY; SEQUENTIAL PROCESS;

FLEXIBLE MANUFACTURING SYSTEMS;

PETRI NETS;

EID: 84873693576     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/2406336.2406347     Document Type: Article

References (37)

1. Barkaoui, K. and Abdallah, B. 1995. Deadlock avoidance in FMS based on structural theory of Petri nets. In Proceedings of the INRIA/IEEE Symp. Emerging Technologies for Factory Automation. 499-510.
2. Berthomieu, B. and Vernadat, F. 2006. Time Petri nets analysis with TINA. In Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems. IEEE, 123-124.
3. Chao, D. Y. 2006. Computation of elementary siphons in Petri nets for deadlock control. Comput. J. 49, 4, 470-479.
4. Chao, D. Y. 2008. Incremental approach to computation of elementary siphons for arbitrary S3PR. IET Control Theory Appl. 2, 2, 168-179.
5. Ezpeleta, J., Colom, J. M., and Martinez, J. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Rob. Autom. 11, 173-184.
6. Hu, H. S. and Li, Z. W. 2008. An optimal-elementary-siphons based iterative dead-lock prevention policy for flexible manufacturing systems. Int. J. Adv. Manuf. Technol. 38, 3-4, 309-320.
7. Hu, H. S. and Li, Z. W. 2009. Efficient deadlock prevention policy in automated manufacturing systems using shared resources. Int. J. Adv. Manuf. Technol. 40, 5-6, 566-571.
8. Hu, H. S. and Li, Z. W. 2009. Modeling and scheduling for manufacturing grid workflows using timed Petri nets. Int. J. Adv. Manuf. Technol. 42, 5-6, 553-568.
9. Hu, H. S., Zhou, M. C., and Li, Z. W. 2009. Liveness enforcing supervision of video streaming systems using non-sequential Petri nets. IEEE Trans. Multimedia 11, 8, 1457-1465.
10. Hu, H. S., Zhou, M. C., and Li, Z. W. 2010a. Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets. IEEE Trans. Autom. Sci. Eng.
11. Hu, H. S., Zhou, M. C., and Li, Z. W. 2010b. Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets. IEEE Trans. Autom. Sci. Eng.
12. Hu, H. S., Zhou, M. C., and Li, Z. W. 2010c. Ratio and supervisory control for automated manufacturing systems using Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human.
13. Huang, Y. S. 2007a. Deadlock prevention for flexible manufacturing systems in sequence resource allocation systems. J. Inf. Sci. Eng. 23, 1, 215-231.
14. Huang, Y. S. 2007b. Design of deadlock prevention supervisors using Petri nets. Int. J. Adv. Manuf. Technol. 35, 3-4, 349-362.
15. Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung, S. L. 2001. Deadlock prevention policy based on Petri nets and siphons. Int. J. Prod. Res. 39, 3, 283-305.
16. Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung D. S. 2006. Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A Syst. Human 36, 6, 2152-2160.
17. Iordache, M. A. and Mantsaklis, P. J. 2003. Design of T-liveness enforcing supervisors in Petri nets. IEEE Trans. Automat. Contr. 48, 11, 1962-1974.
18. Li, Z. W. and Zhao, M. 2008. On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 2, 369-384.
19. Li, Z. W. and Zhou, M. C. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A Syst. Human 34, 1, 38-51.
20. Li, Z. W. and Zhou, M. C. 2006. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Trans. Ind. Inform. 2, 4, 313-325.
21. Li, Z. W. and Zhou, M. C. 2008a. A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 2, 173-188.
22. Li, Z. W. and Zhou, M. C. 2008b. On siphon computation for deadlock control in a class of Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 3, 667-679.
23. Li, Z. W. and Zhou, M. C. 2008c. Control of elementary and dependent siphons in Petri nets and their application. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 1, 133-148.
24. Li, Z. W. and Zhou, M. C. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer-Verlag, Berlin.
25. Li, Z. W., Zhou, M. C., and Uzam, M. 2007. Deadlock control policy for a class of Petri nets without complete siphon enumeration. IET Control Theory Appl. 1594-1605.
26. Li, Z. W., Zhou, M. C., and Jeng, M. D. 2008a. A maximally permissive deadlock prevention policy for fms based on Petri net siphon control and the theory of regions. IEEE Trans. Autom. Sci. Eng. 5, 1, 182-188.
27. Li, Z. W., Uzam, M., Zhou, M. C. 2008b. Deadlock control of concurrent manufacturing processes sharing finite resources. Int. J. Adv. Manuf. Technol. 38, 787-800.
28. Marsan, M. A., Balbo, G. Conte, G., Donatelli, S., and Franceschinis, G. 1995. Modeling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons.
29. Murata, T. 1989. Petri nets: Properties, analysis, and applications. Proc. IEEE 71, 541-580.
30. Peterson, J. L., 1981. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, NJ.
31. Piroddi, L., Cordone, R., and Fumagalli, I. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 6, 1337-1348.
32. Piroddi, L., Cossalter, M., and Ferrarini, L. 2009a. A resource decoupling approach for deadlock prevention in FMS. Int. J. Adv. Manuf. Technol. 40, 1-2, 157-170.
33. Piroddi, L., Cordone, R., and Fumagalli, I. 2009b. Combined siphon and marking generation for deadlock prevention in Petri Nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 39, 3, 650-661.
34. Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int. J. Adv. Manuf. Technol. 19, 192-208.
35. Uzam, M. 2004. The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int. J. Adv. Manuf. Technol. 23, 204-219.
36. Uzam, M. and Zhou, M. C. 2007. An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A Syst. Human 37, 3, 362-371.
37. Uzam, M., Li, Z. W., and Zhou, M. C. 2007. Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS. Int. J. Adv. Manuf. Technol. 35, 150-168.