Decentralized supervision of Petri nets with a coordinator

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Volumn 45, Issue 6, 2015, Pages 955-966

  Ye, Jianhong ^a,b   Li, Zhiwu ^b,c,d   Giua, Alessandro ^e,f  

^a HUAQIAO UNIVERSITY   (China)

^b XIDIAN UNIVERSITY   (China)

^c MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^d KING ABDULAZIZ UNIVERSITY   (Saudi Arabia)

^e AIX MARSEILLE UNIVERSITY   (France)

^f UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Agreement; coordinator; decentralized supervision; discrete event system (DES); Petri net

Indexed keywords

CONTRACTS; DECENTRALIZED CONTROL; DISCRETE EVENT SIMULATION; INTEGER PROGRAMMING; PETRI NETS;

COMMUNICATION COST; COORDINATOR; DECENTRALIZED SUPERVISION; FEASIBILITY ANALYSIS; FIRING CONDITIONS; INTEGER LINEAR PROGRAMMING; LOGIC ALGEBRA; OBJECTIVE FUNCTIONS;

CONTROLLERS;

EID: 84929326377     PISSN: 21682216     EISSN: 21682232     Source Type: Journal    
DOI: 10.1109/TSMC.2014.2373316     Document Type: Article

References (51)

1. P. Ramadge and W. M. Wonham, "Modular feedback logic for discrete event systems," SIAM J. Control Optim., vol. 25, no. 5, pp. 1202-1218, 1987.
2. P. Ramadge and W. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
3. W. M. Wonham and P. Ramadge, "Modular supervisory control of discrete event systems," Math. Control Signals Syst., vol. 1, no. 1, pp. 13-30, 1988.
4. F. Lin and W. M. Wonham, "Decentralized control and coordination of discrete event systems with partial observation," IEEE Trans. Autom. Control, vol. 35, no. 12, pp. 1330-1337, Dec. 1990.
5. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Autom. Control, vol. 37, no. 11, pp. 1692-1708, Nov. 1992.
6. J. Komenda and J. H. van Schuppen, "Control of discrete event systems with partial observation using coalgebra and coinduction," Discrete Event Dyn. Syst., vol. 15, no. 3, pp. 257-315, 2005.
7. K. Rudie, S. Lafortune, and F. Lin, "Minimal communication in a distributed discrete-event system," IEEE Trans. Autom. Control, vol. 48, no. 6, pp. 957-975, Jun. 2003.
8. K. Rudie, S. Lafortune, and F. Lin, "Minimal communication in a distributed discrete event control system," in Proc. Amer. Control Conf., San Diego, CA, USA, pp. 1965-1970, 1999.
9. Y. F. Chen, Z. W. Li, and K. Barkaoui, "New Petri net structure and its application to optimal supervisory control: Interval inhibitor arcs," IEEE Trans. Syst., Man, Cybern., Syst., vol. 44, no. 10, pp. 1384-1400, Oct. 2014.
10. 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.
11. Z. W. Li and M. C. Zhou, "Clarifications on the definitions of elementary siphons in Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1227-1229, Nov. 2006.
12. 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.
13. J. F. Zhang et al., "Reconfigurable coordination of distributed discrete event control systems," IEEE Trans. Control Syst. Technol., vol. 23, no. 1, pp. 323-330, Jan. 2015.
14. Y. F. Chen and Z. W. Li, "Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems," Automatica, vol. 47, no. 5, pp. 1028-1034, 2011.
15. Y. F. Chen, Z. W. Li, and M. Khalgui, "Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 2, pp. 374-393, Apr. 2011.
16. Y. F. Chen, Z. W. Li, and M. C. Zhou, "Optimal supervisory control of flexible manufacturing systems by Petri nets: A set classification approach," IEEE Trans. Autom. Sci. Eng., vol. 11, no. 2, pp. 549-563, Apr. 2014.
17. 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.
18. 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, Appl. Rev., vol. 37, no. 4, pp. 517-526, Jul. 2007.
19. Z. W. Li and M. C. Zhou, "Control of elementary and dependent siphons in Petri nets and their application," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 133-148, Jan. 2008.
20. 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.
21. F. Basile, A. Giua, and C. Seatzu, "Supervisory control of Petri nets with decentralized monitor places," in Proc. Amer. Control Conf., vol. 1. New York, NY, USA, 2007, pp. 4957-4962.
22. F. Basile, A. Giua, and C. Seatzu, "Some new results on supervisory control of Petri nets with decentralized monitor places," in Proc. World Congr. Int. Fed. Autom. Control, vol. 1. Seoul, Korea, 2008, pp. 531-536.
23. A. Gasparri, A. Giua, D. Di Paola, G. Ulivi, and D. Naso, "Consensus based decentralized supervision of Petri nets," in Proc. IEEE Int. Conf. Decis. Control, Orlando, FL, USA, 2011, pp. 1128-1135.
24. M. V. Iordache and P. Antsaklis, "Decentralized supervision of Petri nets," IEEE Trans. Autom. Control, vol. 51, no. 2, pp. 376-381, Feb. 2006.
25. C. Kuo, C. Wang, and K. Huang, "Behavior modeling and control of 300 mm fab intrabays using distributed agent oriented Petri net," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 33, no. 5, pp. 641-648, Sep. 2003.
26. A. Timofeev, F. Kolushev, and A. Bogdanov, "Hybrid algorithms of multi-agent control of mobile robots," in Proc. Int. Joint Conf. Neural Netw., vol. 6. Washington, DC, USA, 1999, pp. 4115-4118.
27. N. Q. Wu, M. 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.
28. R. O. Saber, J. A. Fax, and R. M. Murray, "Consensus and cooperation in networked multi-agent systems," Proc. IEEE, vol. 95, no. 1, pp. 215-233, Jan. 2007.
29. F. Lu, W. Wu, H. Su, and J. Chu, "Non-blocking decentralized control of discrete event systems based on Petri nets," Asian J. Control, vol. 12, no. 3, pp. 323-335, 2003.
30. N. Palomeras, P. Ridao, C. Silvestre, and A. El-Fakdi, "Multiple vehicles mission coordination using Petri nets," in Proc. IEEE Int. Conf. Robot. Autom., vol. 1. Anchorage, AK, USA, 2010, pp. 3531-3536.
31. T. Murata, "Petri nets: Properties, analysis and application," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
32. K. Cai and W. M. Wonham, "Supervisor localization for large discreteevent systems: Case study production cell," Int. J. Adv. Manuf. Technol., vol. 50, no. 9, pp. 1189-1202, 2010.
33. 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.
34. 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. 3, pp. 192-208, 2002.
35. Z. W. Li, G. Y. Liu, M. H. Hanisch, and M. C. Zhou, "Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 1, pp. 178-191, Jan. 2012.
36. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Upper Saddle River, NJ, USA: Prentice-Hall, 1981.
37. Z. W. Li, N. Q. Wu, and M. C. Zhou, "Deadlock control of automated manufacturing systems based on Petri nets-A literature review," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 42, no. 4, pp. 437-462, Jul. 2012.
38. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London, U.K.: Springer, 2009.
39. Z. W. Li, M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 1, pp. 182-188, Jan. 2008.
40. 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-679, May 2008.
41. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Syst. Man Cybern., Chicago, IL, USA, 1992, pp. 974-979.
42. A. Ghaffari, N. Rezg, and X. Xiaolan, "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.
43. M. P. Fanti, A. Giua, and C. Seatzu, "Generalized mutual exclusion constraints and monitors for colored Petri nets," in Proc. IEEE Int. Conf. Syst. Man Cybern., vol. 2. Washington, DC, USA, 2003, pp. 1860-1865.
44. F. Basile, P. Chiacchio, and A. Giua, "Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places," Automatica, vol. 42, no. 6, pp. 995-1004, 2006.
45. A. S. Tanenbaum and D. J. Wetherall, Computer Networks, 5th Ed. Upper Saddle River, NJ, USA: Prentice-Hall, 2011.
46. O. H. Ekkehard, Environmental Modeling: Using MATLAB. Berlin, Germany: Springer, 2012.
47. Simulink. (2013, Aug.). Multidomain Simulation and Design Environment. [Online]. Available: http://www.mathworks.com/products/simulink
48. Y. F. Chen and Z. W. Li, Optimal Supervisory Control of Automated Manufacturing Systems. Boca Raton, FL, USA: CRC Press, Jan. 2013.
49. D. Liu, Z. W. Li, and M. C. Zhou, "A parameterized liveness and ratioenforcing supervisor for a class of generalized Petri nets," Automatica, vol. 49, no. 11, pp. 3167-3179, Nov. 2013.
50. H. S. Hu, M. C. Zhou, and Z.W. Li, "Deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets," IEEE Trans. Ind. Inf., vol. 9, no. 1, pp. 109-121, Feb. 2013.
51. Lingo 14.0. (2013, Aug.). Premier Optimization Modeling Tools. [Online]. Available: http://www.lindo.com