Deadlock prevention for a class of petri nets with uncontrollable and unobservable transitions

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

Volumn 42, Issue 3, 2012, Pages 727-738

  Qin, Meng ^a   Li, Zhiwu ^a,b   Zhou, Mengchu ^c,d   Khalgui, Mohamed ^e,f   Mosbahi, Olfa ^g,h  

^a XIDIAN UNIVERSITY   (China)

^b KING SAUD UNIVERSITY   (Saudi Arabia)

^c Ministry of Education   (China)

^d NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^e ITIA CNR   (Italy)

^f UNIVERSITY OF CARTHAGE   (Tunisia)

^g UNIVERSITY OF TUNIS EL MANAR   (Tunisia)

^h The University of Carthage   (Tunisia)

Author keywords

Discrete event system; flexible manufacturing system (FMS); liveness constraint; Petri net; siphon; uncontrollable and unobservable transition

Indexed keywords

A PLANTS; CONTROLLED SYSTEM; DEADLOCK PREVENTION; DEADLOCK PROBLEMS; FLEXIBLE MANUFACTURING SYSTEM (FMS); INPUT AND OUTPUTS; ITERATIVE ALGORITHM; KEYPOINTS; LIVENESS; LIVENESS CONSTRAINTS; MINIMAL SIPHONS; PETRI NET MODELS; SUFFICIENT AND NECESSARY CONDITION; UNOBSERVABLE;

ALGORITHMS; DISCRETE EVENT SIMULATION; FLEXIBLE MANUFACTURING SYSTEMS; SIPHONS;

PETRI NETS;

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

References (60)

1. G. A. de Albuquerque, P. R. M. Macial, R. M. F. Lima, and A. Zimmermann, "Automatic modeling for performance evaluation of inventory and outbound distribution," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 5, pp. 1025-1044, Sep. 2010.
2. E. Badouel and P. Darondeau, "Theory of regions," in Lectures on Petri Nets: Basic Models, vol. 1491, Lecture Notes in Computer Science, W. Reisig and G. Rozenberg, Eds. New York: Springer-Verlag, 1998, pp. 529-586.
3. 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.
4. V. Borstel and J. L. Gordillo, "Model-based development of virtual laboratories for robotics over the Internet," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 3, pp. 623-634, May 2010.
5. 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.
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. P. Darondeau and X. L. Xie, "Linear control of lived marked graphs," Automatica, vol. 39, no. 3, pp. 429-440, Mar. 2003.
8. 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.
9. J. Ezpeleta, F. García-Vallés, and J. M. Colom, "A class of well structured Petri nets for flexible manufacturing systems," Lecture Notes Comput. Sci., vol. 1420, pp. 64-83, 1998.
10. 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.
11. 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.
12. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Chigago, IL, 1992, pp. 974-979.
13. 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.
14. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Production Res., vol. 39, no. 2, pp. 283-305, 2001.
15. Integrated Net Analyzer (INA), A Tool Package to Support the Analysis of Petri Nets and Coloured Petri Nets. [Online]. Available: Http://www.informatik. hu-berlin.de/starke/ina.html
16. 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.
17. J. Júlvez and R. K. Boel, "A continuous Petri net approach for model predictive control of traffic systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 4, pp. 686-697, Jul. 2010.
18. A. Karniel and Y. Reich, "Formalizing a workflow-net implementation of design-structure-matrix-based process planning for new product development," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 3, pp. 476-491, May 2011.
19. Y. A. Katsigiannis, P. S. Georgilakis, and G. J. Tsinarakis, "A novel colored fluid stochastic Petri net simulation model for reliability evaluation of wind/PV/diesel small isolated power systems," IEEE Trans. Syst.,Man, Cybern. A, Syst., Humans, vol. 40, no. 6, pp. 1296-1309, Nov. 2010.
20. M. A. Lawley, S. A. Reveliotis, and P. M. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 14, no. 5, pp. 796-809, Oct. 1998.
21. D. Lefebvre and E. Leclercq, "Stochastic Petri net identification for the fault detection and isolation of discrete event systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 2, pp. 213-225, Mar. 2011.
22. X. T. Li, Y. S. Fan, Q. Z. Sheng, Z. Maamar, and H. W. Zhu, "A Petri net approach to analyzing behavioral compatibility and similarity of web services," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 3, pp. 510-521, May 2011.
23. Y. Li and W. M. Wonham, "Deadlocks issues in supervisory control of discrete event systems," in Proc. Conf. Inf. Sci. Syst., Princeton, NJ, 1988, pp. 57-63.
24. 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.
25. Z. W. Li, J. Zhang, and M. Zhao, "Liveness-enforcing supervisor design for a class of generalised Petri net models of flexible manufacturing systems," IET Control Theory Appl., vol. 1, no. 4, pp. 955-967, Jul. 2007.
26. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London, U.K.: Springer-Verlag, 2009.
27. Z. W. Li, M. Qin, and S. Zhu, "Identification of controllable transitions to decide the existence of an optimal liveness-enforcing supervisor for a class of Petri nets," Trans. Inst. Meas. Control, vol. 33, no. 3/4, pp. 406-421, May/Jun. 2011.
28. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Amsterdam, The Netherlands: Kluwer, 1998.
29. 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.
30. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
31. 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.
32. S. A. Reveliotis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Autom., vol. 12, no. 6, pp. 845-857, Dec. 1996.
33. S. A. Reveliotis, M. A. Lawely, and P. M. Ferreira, " Polynomialcomplexity deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Autom. Control, vol. 42, no. 10, pp. 1344-1357, Oct. 1997.
34. R. Robidoux, H. P. Xu, L. D. Xing, andM. C. Zhou, "Automated modeling of dynamic reliability block diagrams using colored Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 2, pp. 337-351, Mar. 2010.
35. A. Schrijver, Theory of Linear and Integer Programming. NewYork: Wiley, 1998.
36. V. Shen, Y. S. Chang, and T. T.-Y. Juang, "Supervised and unsupervised learning by using Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 2, pp. 363-375, Mar. 2010.
37. L. C. Tsironis, D. S. Sfiris, and B. K. Papadopoulos, "Fuzzy performance evaluation of workflow stochastic Petri nets by means of block reduction," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 2, pp. 352-362, Mar. 2010.
38. 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, Feb. 2002.
39. M. Uzam, "On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor places," Int. J. Adv. Manuf. Technol., vol. 47, no. 5-8, pp. 567-579, Mar. 2010.
40. A. R. Wang, Z. W. Li, 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.
41. 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.
42. H. S. Wang, L. Grigore, U. Buy, M. Lehene, and H. Darabi, "Enforcing periodic transition deadlines in time Petri nets with net unfoldings," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 3, pp. 522-539, May 2011.
43. K. Y. Xing, M. C. Zhou, F. Wang, H. X. Liu, and F. Tian, "Resourcetransition circuits and siphons for deadlock control of automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 1, pp. 74-84, Jan. 2011.
44. 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.
45. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, Jan. 1996.
46. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
47. M. C. Zhou, Ed., Petri Nets in Flexible and Agile Automation. Boston: Kluwer, 1995.
48. M. C. Zhou and M. P. Fanti, Eds., Deadlock Resolution in Computer-Integrated Systems. New York: Marcel Dekker, Jan. 2005.
49. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. London, U.K.: Kluwer, 1993.
50. M. C. Zhou and F. DiCesare, "Adaptive design of Petri net controllers for error recovery in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 19, no. 5, pp. 963-973, Sep./Oct. 1989.
51. 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.
52. M. C. Zhou and M. C. Leu, "Modeling and performance analysis of a flexible PCB assembly station using Petri nets," Trans. ASME, J. Electron. Packag., vol. 113, no. 4, pp. 410-416, 1991.
53. 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.
54. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system," IFAC J. Autom., vol. 28, no. 6, pp. 1199-1208, Jun. 1992.
55. M. C. Zhou, K. McDermott, and P. A. Patel, "Petri net synthesis and analysis of a flexible manufacturing system cell," IEEE Trans. Syst., Man, Cybern., vol. 23, no. 2, pp. 523-531, Mar./Apr. 1993.
56. M. C. Zhou, "Deadlock avoidance methods for a distributed robotic system: Petri net modeling and analysis," J. Robot. Syst., vol. 12, no. 3, pp. 177-187, 1995.
57. M. C. Zhou and F. DiCesare, "Petri net modeling of buffers in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 26, no. 1, pp. 157-164, Feb. 1996.
58. M. C. Zhou and E. Twiss, "Design of industrial automated systems via relay ladder logic programming and Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 28, no. 1, pp. 137-150, Feb. 1998.
59. M. C. Zhou and M. D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach," IEEE Trans. Semicond. Manuf., vol. 11, no. 3, pp. 333-357, Aug. 1998.
60. 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.