Liveness and ratio-enforcing supervision of automated manufacturing systems using Petri nets

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 42, Issue 2, 2012, Pages 392-403

  Hu, Hesuan ^a,b   Zhou, Mengchu ^a,c   Li, Zhiwu ^d,e  

^a NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^b KING SAUD UNIVERSITY   (Saudi Arabia)

^c Department of Computer Science and Technology   (China)

^d XIDIAN UNIVERSITY   (China)

^e MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

Automated manufacturing system (AMS); discrete event systems; mathematical programming; Petri nets

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; DIFFERENT PROCESS; LINEAR INEQUALITIES; LIVENESS; PROCESSING JOBS; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL PROGRAMMING; PRODUCTION ENGINEERING; SIPHONS; SUPERVISORY PERSONNEL;

PETRI NETS;

EID: 84857506729     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2011.2162502     Document Type: Article

References (48)

1. J. Ezpeleta, J. M. Colom, and J.Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
2. Z. W. Li 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., Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
3. Z. W. Li and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 2, pp. 369-384, Mar. 2008. (Pubitemid 351425590)
4. H. Ohl, H. Camus, E. Castelain, and J. C. Gentina, "Petri net modeling of ratio-driven flexible manufacturing systems and implications on the WIP for cyclic schedules," in Proc. IEEE Int. Conf. Syst., Man, and Cybern., Vancouver, BC, Canada, Oct. 1995, pp. 3081-3086.
5. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
6. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Autom. Control, vol. 46, no. 10, pp. 1572-1583, Oct. 2001. (Pubitemid 33018223)
7. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, "A Petri net structure-based deadlock prevention solution for sequential resource allocation systems," in Proc. IEEE Int. Conf. Robot. Autom., Barcelona, Spain, Apr. 2005, pp. 271-277. (Pubitemid 46083810)
8. M. Uzam and M. C. Zhou, "An iterative synthesis approach to Petri netbased deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 37, no. 3, pp. 362-371, May 2007. (Pubitemid 46621522)
9. Z. W. Li and M. C. Zhou, "Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Ind. Informat., vol. 2, no. 4, pp. 313-325, Nov. 2006.
10. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems-A Novel PN Approach. London, U.K.: Springer-Verlag, 2009.
11. Z.W. Li and M. C. Zhou, "On siphon computation for deadlock control in a class of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 3, pp. 667-669, May 2008.
12. A. Ghaffari, N. Rezg, and X. L. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Trans. Robot. Autom., vol. 19, no. 1, pp. 137-141, Feb. 2003.
13. J. Ezpeleta, J. M. Couvreur, and M. Silva, "A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets," in Proc. Int. Conf. Appl. Theory Petri Nets, vol. 674, Lect. Notes Comput. Sc., G. Rozenberg, Ed., Berlin, Germany, Jun. 1993, pp. 126-147.
14. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
15. R. Cordone, L. Ferrarini, and L. Piroddi, "Enumeration algorithms for minimal siphons in Petri nets based on place constraints," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 35, no. 6, pp. 844-854, Nov. 2005. (Pubitemid 41622509)
16. H. S. Hu, M. C. Zhou, and Z. W. Li, "Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 2, pp. 201-212, Mar. 2011.
17. H. S. Hu and Z. W. Li, "Clarification on the computation of livenessenforcing supervisor for resource allocation systems with uncontrollable behavior and forbidden states," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 3, pp. 557-558, Jul. 2009.
18. H. S. Hu, M. C. Zhou, and Z. W. Li, "Low-cost and high performance supervision in ratio-enforced automated manufacturing systems using timed Petri net," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 4, pp. 933-944, Oct. 2010.
19. H. S. Hu, M. C. Zhou, and Z. W. Li, "Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 549-557, Jul. 2010.
20. H. S. Hu, M. C. Zhou, and Z. W. Li, "Liveness enforcing supervision of video streaming systems using non-sequential Petri nets," IEEE Trans. Multimedia, vol. 11, no. 8, pp. 1457-1465, Dec. 2009.
21. H. S. Hu and Z.W. Li, "Liveness enforcing supervision in video streaming systems using siphons," J. Inf. Sci. Eng., vol. 25, no. 6, pp. 1863-1884, Nov. 2009.
22. H. S. Hu and Z.W. Li, "Synthesis of liveness enforcing supervisor for automated manufacturing systems," J. Intell. Manuf., vol. 21, no. 4, pp. 555-567, Aug. 2010.
23. Y. S. Huang, M. D. Jeng, X. L. Xie, and D. H. Chung, "Siphon-based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1248-1256, Nov. 2006.
24. N. Q. Wu, M. C. Zhou, and Z. W. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 56-69, Jan. 2008.
25. N. Q. Wu and M. C. Zhou, "Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 35, no. 6, pp. 1193-1202, Dec. 2005.
26. N. Q. Wu and M. C. Zhou, System Modeling and Control With Resource-Oriented Petri Nets. New York: CRC, 2010.
27. A. R.Wang, Z.W. Li, J. Y. Jia, andM. C. Zhou, "An effective algorithm to find elementary siphons in a class of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 4, pp. 912-923, Jul. 2009.
28. S. G. Wang, C. Y. Wang, and Y. P. Yu, "Comments on 'Siphon-based deadlock prevention policy for flexible manufacturing systems'," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 2, pp. 338-340, Mar. 2011.
29. Z. J. Ding, C. J. Jiang, M. C. Zhou, and Y. Y. Zhang, "Preserving languages and properties in stepwise refinement-based synthesis of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 4, pp. 791-801, Jul. 2008.
30. L. Piroddi, R. Cordone, and I. Fumagalli, "Combined siphon and marking generation for deadlock prevention in Petri nets," IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 39, no. 3, pp. 650-661, May 2009.
31. L. Piroddi, R. Cordone, and I. Fumagalli, "Selective siphon control for deadlock prevention in Petri nets," IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 38, no. 6, pp. 1337-1348, Nov. 2008.
32. K. Y. Xing, M. C. Zhou, H. X. Liu, and F. Tian, "Optimal Petri net-based polynomial-complexity deadlock avoidance policies for automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 39, no. 1, pp. 188-199, Jan. 2009.
33. P. C. Xiong, Y. S. Fan, and M. C. Zhou, "A Petri net approach to analysis and composition of Web services," IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 40, no. 2, pp. 376-387, Mar. 2010.
34. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. Autom. Control, vol. 45, no. 3, pp. 462-476, Mar. 2000.
35. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. New York: Springer-Verlag, 2007.
36. K. Yamalidou, J. O. Moody, M. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-18, Jan. 1996.
37. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. London, U.K.: Kluwer, 1993.
38. H. Cho, T. K. Kumaran, and R. A. Wysk, "Graph-theoretic deadlock detection and resolution for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 3, pp. 413-421, Jun. 1995.
39. I. B. Abdallah and H. A. ElMaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach," Int. J. Adv. Manuf. Technol., vol. 14, no. 10, pp. 704-715, Oct. 1998. (Pubitemid 128615807)
40. J. Lee and O. Korbaa, "Modeling and scheduling of ratio-driven FMS using unfolding time Petri nets," Comput. Ind. Eng., vol. 46, no. 4, pp. 639-653, Jul. 2004.
41. W. Kluge and K. Lautenbach, "The orderly resolution of memory access conflicts among competing channel processes," IEEE Trans. Comput., vol. C-31, no. 3, pp. 194-207, Mar. 1982. (Pubitemid 12515212)
42. H. Ohl, E. Castelain, and J. C. Gentina, "Synchrony theory applied to control problems in flexible manufacturing systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., San Antonio, TX, Oct. 1994, pp. 1689-1694.
43. K. Lautenbach and H. Ridder, "The Linear Algebra of Deadlock Avoidance-A PN Approach," Univ. Koblenz, Koblenz, Germany, 1996.
44. R. Zurawski and M. C. Zhou, "Petri nets and industrial applications: A tutorial," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 567-583, Dec. 1994.
45. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, "Synthesis of deadlock prevention supervisors using Petri nets," IEEE Trans. Robot. Autom., vol. 18, no. 1, pp. 59-68, Feb. 2002. (Pubitemid 34414686)
46. J. M. Colom, J. Campos, and M. Silva, "On liveness analysis through linear algebraic techniques," in Proc. Annu. Gen. Meeting ESPRIT Basic Res. Action 3148 Des. Methods Based Nets, Paris, France, Jun. 1990.
47. K. Barkaoui and J. F. Peyre, "On liveness and controlled siphons in Petri nets," in Proc. Int. Conf. Appl. Theory Petri Nets, vol. 1091, Lect. Notes Comput. Sc., J. Billington and W. Reisig, Eds., Berlin, Germany, Jun. 1996, pp. 57-72. (Pubitemid 126085899)
48. J. Park and S. A. Reveliotis, "Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states," IEEE Trans. Robot. Autom., vol. 18, no. 2, pp. 234-240, Apr. 2002. (Pubitemid 34659026)