Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems

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

Volumn 41, Issue 2, 2011, Pages 201-212

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

^a XIDIAN UNIVERSITY   (China)

^b KING SAUD UNIVERSITY   (Saudi Arabia)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d TONGJI UNIVERSITY   (China)

^e MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

Automated manufacturing systems (AMSs); Discrete event systems; Marked graph; Petri nets; Supervisory control

Indexed keywords

AUTOMATION; DESIGN; DISCRETE EVENT SIMULATION; PETRI NETS; SUPERVISORY PERSONNEL;

AUGMENTED MARKED GRAPHS; AUTOMATED MANUFACTURING SYSTEMS; MARKED GRAPHS; PRODUCT RATIOS; RATIO CONTROL; SHARED RESOURCES; SUPERVISORY CONTROL; SUPERVISORY CONTROLLERS;

MANUFACTURE;

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

References (48)

1. 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, Sep. 1998.
2. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure theory of Petri nets," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Paris, France, Oct. 1997, pp. 2755-3750.
3. K. Barkaoui and J. F. Peyre, On Liveness and Controlled Siphons in Petri Nets. Berlin, Germany: Springer-Verlag, Jun. 1996, pp. 57-72.
4. K. Barkaoui, R. B. Ayed, and Z. Sbai, "Workflow soundness verification based on structure theory of Petri nets," Int. J. Comput. Inf. Sci., Vol. 5, no. 1, pp. 51-61, Apr. 2007.
5. 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.
6. 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.
7. F. Chu 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, Dec. 1997.
8. A. Ghaffari, N. Rezg, and X. Xie, "Feedback control logic for forbidden-state problems of marked graphs: Application to a real manufacturing system," IEEE Trans. Autom. Control, Vol. 48, no. 1, pp. 18-29, Jan. 2003.
9. A. Giua, A. Piccaluga, and C. Seatzu, "Firing rate optimization of cyclic timed event graphs by token allocations," Automatica, Vol. 38, no. 1, pp. 91-103, Jan. 2002.
10. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. New York: Springer-Verlag, 2007.
11. Y. S. Huang, 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. 2, pp. 283-305, Jan. 2001.
12. 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. B, Cybern., Vol. 36, no. 6, pp. 1248-1256, Nov. 2006.
13. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri net and their application to deadlock prevention for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, Vol. 34, no. 1, pp. 38-51, Jan. 2004.
14. 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.
15. 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. Syst., Man, Cybern. C, Appl. Rev., Vol. 38, no. 2, pp. 173-188, Mar. 2008.
16. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems - A Novel Petri Net Approach. London, U.K.: SpringerVerlag, 2009.
17. 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.
18. 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.
19. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Boston, MA: Kluwer, 1998.
20. 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, Cybern., Vancouver, BC, Canada, Oct. 1995, pp. 3081-3086.
21. 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.
22. 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.
23. J. Park and S. A. Reveliotis, "Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Robot. Autom., Vol. 16, no. 2, pp. 190-195, Apr. 2000.
24. S. A. Reveliotis, "A necessary and sufficient condition for the liveness and reversibility of process resource nets with acyclic, quasi-live, serializable, and reversible process subnets," IEEE Trans. Autom. Sci. Eng., Vol. 3, no. 4, pp. 462-468, Oct. 2006.
25. S. A. Reveliotis, Real-time Management of Resource Allocation Systems: A Discrete Event Systems Approach. New York: Springer-Verlag, 2005.
26. 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. 272-278.
27. M. Uzam and M. C. Zhou, "An iterative synthesis approach to Petri net-based deadlock prevention solution for sequential resource allocation systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, Vol. 37, no. 3, pp. 362-371, May 2007.
28. A. R. Wang, Z. W. Li, J. Y. Jia, and M. 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.
29. 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.
30. 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.
31. N. Q. Wu and M. C. Zhou, System Modeling and Control With Resource-Oriented Petri Nets. Boca Raton, FL: CRC Press, 2009.
32. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
33. H. S. Hu and Z. W. Li, "Clarification on the computation of liveness-enforcing 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.
34. 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, Nov. 2009.
35. 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.
36. H. S. Hu and Z. W. Li, "An optimal-elementary-siphons based iterative deadlock prevention policy for flexible manufacturing systems," Int. J. Adv. Manuf. Tech., Vol. 38, no. 3-4, pp. 309-320, Aug. 2008.
37. H. S. Hu and Z. W. Li, "Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs," Comput. Ind. Eng., Vol. 57, no. 4, pp. 1168-1181, Nov. 2009.
38. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources," IEEE Trans. Autom. Control, Vol. 41, no. 2, pp. 289-295, Feb. 1996.
39. 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.
40. Z. Zhang and W. Wu, "Design of Petri net-based non-redundant and maximally permissive liveness-enforcing supervisors for flexible manufacturing systems," ACM Trans. Embedded Comput. Syst., 2010, to be published.
41. Z. Zhang and W. Wu, "Combined buffer pre-allocation and siphon control for deadlock prevention in Petri nets," Int. Prod. Res., 2010, to be published.
42. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources," IEEE Trans. Robot. Autom., Vol. 7, no. 4, pp. 515-527, Aug. 1991.
43. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets for manufacturing systems," IEEE Trans. Robot. Autom., Vol. 8, no. 3, pp. 350-361, Jun. 1992.
44. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. London, U.K.: Kluwer, 1993, pp. 57-72.
45. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system," IFAC J. Automat., Vol. 28, no. 6, pp. 1199-1208, Nov. 1992.
46. M. C. Zhou and M. D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach," IEEE Trans. Semiconduct. Manufact., Vol. 11, no. 3, pp. 333-357, Aug. 1998.
47. R. Zurawski and M. C. Zhou, "Petri nets and industrial applications: A tutorial," IEEE Trans. Industr. Electron., Vol. 41, no. 6, pp. 567-583, Dec. 1994.
48. E. Zussman and M. C. Zhou, "Design and implementation of an adaptive planner for disassembly processes," IEEE Trans. Robot. Automat., Vol. 16, no. 2, pp. 171-179, Apr. 2000.