Synthesis of deadlock prevention policy using Petri nets reachability graph technique

Asian Journal of Control

Volumn 12, Issue 3, 2010, Pages 336-346

  Huang, Yi Sheng ^a   Chung, Ta Hsiang ^b   Su, Pin June ^a  

^a NATIONAL DEFENSE UNIVERSITY   (Taiwan)

^b AIR FORCE INSTITUTE OF TECHNOLOGY   (Taiwan)

Author keywords

Deadlock prevention; Flexible manufacturing systems; Petri nets; Reach ability graph

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

ADDITIONAL CONTROL; DEADLOCK PREVENTION; DEADLOCK PREVENTION POLICY; GENERALIZED STOCHASTIC PETRI NET MODELS; GRAPH TECHNIQUE; REACH ABILITY GRAPH; REACHABILITY GRAPHS; SEQUENTIAL PROCESS;

STOCHASTIC CONTROL SYSTEMS;

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

References (29)

1. Fanti, M. P. and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst. Man Cybern. A, Vol. 34, No. l,pp. 5-22(2004).
2. Murata, T., "Petri nets: Properties, analysis, and applications," Proc. IEEE, Vol. 71, pp. 541-580 (1989).
3. Peterson, J. L., Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ (1981).
4. 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, pp. 173-184 (1995).
5. Huang, Y. S., M. D. Jeng, X. L. Xie, and S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., Vol. 39, No. 3, pp. 283-305 (2001).
6. Huang, Y. S., M. D. Jeng, and S. L. Chung, "Design, analysis, and implementation of a real-world manufacturing cell controller based on Petri nets," Int. J. Comput. Integr. Manuf. Syst., Vol. 14, No. 3, pp. 304-318(2001).
7. Huang, Y S., T. H. Chung, and Y L. Wen, "Design and implementation of emulators for a real-world automated manufacturing systems using scenario," Mater. Sci. Forum, Vol. 505-507, pp. 1141-1146 (2006).
8. Huang, Y S., M. D. Jeng, X. L. Xie, and T. H. Chung, "Siphon-based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst. Man Cybern. A-Syst. Hum., Vol. 36, No. 6, pp. 2152-2160(2006).
9. Huang, Y S., "Deadlock prevention for flexible manufacturing systems in sequence resource allocation systems," J. Inf. Sci. Eng., Vol. 23, No. 1, pp. 215-231 (2007)
10. Huang, Y S., "Design of deadlock prevention supervisors using Petri nets," Int. J. Adv. Manuf. Technol., Vol. 35, No. 3-4, pp. 349-362 (2007).
11. Huang, Y S. and P. J. Su, "Design of a configurable cell controller for flexible manufacturing systems," J. Chin. Soc. Mech. Eng., Vol. 29, No. 3, pp. 263-269 (2008).
12. 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. A-Syst. Hum., Vol. 34, No. l,pp. 38-51 (2004).
13. Li, Z. W. and M. C. Zhou, "Two-Stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Ind. Inform., Vol. 2, No. 4, pp. 313-325 (2006).
14. Li, Z. W., M. C. Zhou, and M. Uzam, "Deadlock control policy for a class of Petri nets without complete siphon enumeration," IET Control Theory Appl, pp. 1594-1605 (2007).
15. Li, Z. W., M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control sand the theory of regions," IEEE Trans. Autom. Sci. Eng., Vol. 5, No. 1, pp. 182-188 (2008).
16. Li, Z. W., M. C. Zhou, and N. O. Wu, "Control of elementary and dependent siphons in Petri nets and their application," IEEE Trans. Syst. Man Cybern. C-Syst. Hum., Vol. 38, No. 1, pp. 133-148 (2008).
17. Li, Z. W. and M. C. Zhou, "A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems," IEEE Trans. Syst. Man Cybern. Part A-Syst. Hum., Vol. 38, No. 2, pp. 173-188 (2008).
18. Li, Z. W. and M. C. Zhou, "On siphon computation for deadlock control in a class of Petri nets," IEEE Trans. Syst. Man Cybern. A-Syst. Hum., Vol. 38, No. 3, pp. 667-679 (2008).
19. Li, Z. W. and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets," IEEE Trans. Syst. Man Cybern. A-Syst. Hum., Vol. 38, No. 2, pp. 369-384 (2008).
20. Uzam, M. and M. C. Zhou, "An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst. Man Cybern. A-Syst. Hum., Vol. 37, No. 3, pp. 362-371(2007).
21. Viswanadham, N., Y. Narahari, and T. L. Johnson, "Deadlock prevention sand deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Autom., Vol. 6, No. 6, pp. 713-723 (1990).
22. Zhou, M. C, F. DiCesare, and D. Guo, "Modeling sand performance analysis of a resource-sharing manufacturing system using stochastic Petri nets," Proc. IEEE Int. Conf. Intell. Control, Vol. 2, pp. 1005-1010(1990).
23. Molly, M. K., "Performance analysis using stochastic Petri nets," IEEE Trans. Comp., Vol. C-31, pp. 913-917 (1982).
24. Marsan, M. A., G. Balbo and G. Conte, "A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems," ACM Trans. Comput. Syst., Vol. 2, No. 1, pp. 93-122 (1984).
25. Molly, M. K., "Discrete time stochastic Petri nets," IEEE Trans. Soft. Eng., Vol. SE-11, pp. 417-423 (1985).
26. Bause, F. and P. S. Kritzinger, Stochastic Petri Nets: An Introduction to the Theory, Viewing Verlag, Germany (2002).
27. Marsan, M. A., G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modeling with Generalized Stochastic Petri Nets, Wiley, New York (1995).
28. Wang, J., Timed Petri Nets: Theory and Application, Kluwer Academic Publishers, Boston (1998).
29. Zimmermann, A. and J. Freiheit, "TimeNET/sub MS/-an integrated modeling sand performance evaluation tool for manufacturing systems " Proc. IEEE Int. Conf. Syst., Man Cybern., Vol. 1, pp. 535-540(1998).