Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in petri nets

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 40, Issue 3, 2010, Pages 330-340

  Li, Zhiwu ^a,b   Yan, Mingming ^c   Zhou, Mengchu ^d  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

^b XIDIAN UNIVERSITY   (China)

^c UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA   (China)

^d NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Automated manufacturing system; Discrete event systems; Elementary and dependent constraints; Generalized mutual exclusion constraint (GMEC); Monitor; Petri net

Indexed keywords

A PLANTS; AUTOMATED MANUFACTURING SYSTEMS; DISCRETE EVENT SYSTEMS; ELEMENTARY AND DEPENDENT CONSTRAINTS; EXISTING METHOD; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; LINEAR DEPENDENCY; SUPERVISORY CONTROL; TRANSITION VECTORS;

COMPUTATIONAL EFFICIENCY; DENSE WAVELENGTH DIVISION MULTIPLEXING; PETRI NETS; PRODUCTION ENGINEERING; SUPERVISORY PERSONNEL;

GRAPH THEORY;

EID: 77951204312     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2009.2037824     Document Type: Article

References (57)

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, 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., 1997, pp. 3750-3755.
3. F. Basile, P. Chiacchio, and A. Giua, "Optimal Petri net monitor design," in Synthesis and Control of Discrete Event Systems, B. Caillaud, X. Xie, Ph. Darondeau, and L. Lavagno, Eds. Norwell, MA: Kluwer, 2001, pp. 141-154.
4. F. Basile, C. Carbone, and P. Chiacchio, "Petri net controllers to enforce disjunction of GMECs," in Proc. IEEE Int. Conf. Robot. Autom., 2003, pp. 1440-1445.
5. F. Basile, P. Chiacchio, and A. Giua, "Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places," Automatica, vol.42, pp. 995-1004, 2006.
6. 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.
7. J. Ezpeleta, 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, Apr. 1995.
8. J. Ezpeleta, F. Garćia-Valĺes, and J. M. Colom, "A class of well structured Petri nets for flexible manufacturing systems," in Proc. 19th Int. Conf. Appl. Theory Petri Nets (Lecture Notes Comput. Sci.), vol.1420, J. Desel and M. Silva, Eds., 1998, pp. 64-83.
9. J. Ezpeleta, F. Tricas, F. Garćia-Valĺes, and J. M. Colom, "A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource States," IEEE Trans. Robot. Autom., vol.18, no.4, pp. 621-625, Aug. 2002.
10. 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-142, Feb. 2003.
11. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 1992, pp. 974-979.
12. A. Giua, F. DiCesare, and M. Silva, "Petri net supervisor for genralized mutal exclusion constraints," in Proc. 12th IFAC World Congr., Sidney, Australia, Jul. 1993, vol.1, pp. 267-270.
13. A. Giua and C. Seatzu, "Supervisory control of railway networks with Petri nets," in Proc. 40th IEEE IntConf.DecisionControl, 2001, pp. 5004- 5009. (Pubitemid 34144323)
14. L. E. Holloway and B. H. Krogh, "Synthesis and feedback control logic for a class of controlled Petri nets," IEEE Trans. Autom. Control, vol.35, no.5, pp. 514-523, May 1990.
15. L. E. Holloway and B. H. Krogh, "On closed-loop liveness of discreteevent systems under maximally permissive control," IEEE Trans. Autom. Control, vol.37, no.5, pp. 692-697, May 1992.
16. L. E. Holloway, B. H. Krogh, andA.Giua, "A survey of Petri nets methods for controlled discrete event systems," Discr. Event Dyn. Syst.: Theory Appl., vol.7, pp. 151-190, 1997.
17. B. Hruz andM. C. Zhou, Modeling and Control ofDiscrete EventDynamic Systems: With Petri Nets and Other Tools. London, U.K.: Springer- Verlag, 2007.
18. 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, vol.36, no.6, pp. 2152-2160, Nov. 2006.
19. 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.
20. M. V. Iordache and P. J. Antsaklis, "Design of T-liveness enforcing supervisors in Petri nets," IEEE Trans. Autom. Control, vol.48, no.11, pp. 1962-1974, Nov. 2003.
21. M. V. Iordache and P. J. Antsaklis, "Synthesis of supervisors enforcing general linear vector constraints in Petri nets," IEEE Trans. Autom. Control, vol.48, no.11, pp. 2036-2039, Nov. 2003.
22. M. V. Iordache and P. J. Antsaklis, "Supervision based on place invariants: A survey," Discr. Event Dyn. Syst. Theory Appl., vol.16, pp. 451-492, 2006.
23. M. D. Jeng and X. L. Xie, "Analysis of modularly composed nets by siphons," IEEE Trans. Syst., Man, Cybern. A, vol.29, no.4, pp. 399-406, Jul. 1999.
24. M. D. Jeng, X. L. Xie, and M. Y. Peng, "Process nets with resources for manufacturing modeling and their analysis," IEEE Trans. Robot. Autom., vol.18, no.6, pp. 875-889, Dec. 2002.
25. M. D. Jeng, X. L. Xie, and S. L.Chung, "ERCN*merged nets formodeling degraded behavior and parallel processes in semiconductormanufacturing systems," IEEE Trans. Syst.,Man, Cybern. A, vol.34, no.1, pp. 102-112, Jan. 2004.
26. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol.27, pp. 641-651, 1991.
27. Y. Li and W. M. Wonham, "Control of vector discrete-event systems II-controller synthesis," IEEE Trans. Autom. Control, vol.39, no.3, pp. 512-531, Mar. 1994.
28. 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, vol.34, no.1, pp. 38-51, Jan. 2004.
29. Z. W. Li and M. C. Zhou, "Clarifications on the definitions of elementary siphons of Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol.36, no.6, pp. 1127-1129, Nov. 2006.
30. Z. W. Li and M. C. Zhou, "Two-stage method for synthesizing livenessenforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Ind. Informat., vol.2, no.4, pp. 313-325, Nov. 2006.
31. Z. W. Li and M. C. Zhou, "Control of elementary and dependent siphons of Petri nets and their application," IEEE Trans. Syst., Man, Cybern. A., vol.38, no.1, pp. 133-148, Jan. 2008.
32. Z.W. Li, H. S. Hu, and A. R.Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst., Man, Cybern. C, vol.37, no.4, pp. 517-526, Jul. 2007.
33. Z. W. Li and M. C. Zhou, "A survey and comparison of Petri net-based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. C, vol.38, no.2, pp. 172-188, Mar. 2008.
34. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London, U.K.: Springer- Verlag, 2009.
35. Z. W. Li and M. C. Zhou, "A divide and-conquer strategy to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man Cybern. C: Appl. Rev., vol.39, no.2, pp. 156-169, Mar. 2009.
36. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Norwell, MA: Kluwer, 1998.
37. 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.
38. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol.77, no.4, pp. 541-580, Apr. 1989.
39. 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.
40. 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.
41. P. J. Ramadge andW.M.Wonham, "The control of discrete event systems," Proc. IEEE, vol.77, no.1, pp. 81-98, Apr. 1989.
42. F. Tricas and J.Martinez, "An extension of the liveness theory for concurrent sequential processes competing for shared resources," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 1995, pp. 3035-3040.
43. F. Tricas, F. Garća-Vall̀es, J. M. Colom, and J. Ezpeleta, "An iterative method for deadlock prevention in FMSs," in Proc. 5th Workshop Discr. Event Syst., R. Boel and G. Stremersch, Eds., 2000, pp. 139-148.
44. M. Tittus and B. Egardt, "Hierarchical supervisory control for batch processes," IEEE Trans. Control Syst. Technol., vol.7, no.5, pp. 542-554, Sep. 1999.
45. M. Uzam, "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., vol.19, no.1, pp. 192-208, 2002.
46. M. Uzam, "The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems," Int. J. Adv. Manuf. Technol., vol.23, no.3-4, pp. 204-219, 2004.
47. M. Uzam, "Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions," Int. J. Adv. Manuf. Technol., vol.24, no.1-2, pp. 48-69, 2004.
48. M. Uzam and M. C. Zhou, "An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems," Int. J. Prod. Res., vol.44, no.10, pp. 1987-2030, May 2006.
49. M. Uzam 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., Humans, vol.37, no.3, pp. 362- 371, May 2007.
50. M. Uzam, 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.
51. X. L. Xie and M. D. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans. Robot. Autom., vol.15, no.4, pp. 692-703, Aug. 1999.
52. E. Yamalidou and J. Kantor, "Modeling an optimal control of discreteevent chemical processes using Petri nets," Comput. Chem. Eng., vol.15, pp. 503-519, 1991.
53. E.Yamalidou, J. O. Moody, P. J. Antsaklis, and M. D. Lemmon, "Feedback control of Petri nets based on place invariants," Automatica, vol.32, no.1, pp. 15-28, 1996.
54. M. C. Zhou and F.DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
55. 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.
56. B. Zouari and K. Barkaoui, "Parameterized supervisor synthesis for a modular class of discrete event systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 2003, pp. 1874-1879.
57. 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.