Iterative deadlock control by using petri nets

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

Volumn 42, Issue 6, 2012, Pages 1204-1218

  Wang, An Rong ^a,b   Li, Zhi Wu ^a   Zhou, Meng Chu ^b,c   Al Ahmari, Abdulrahman M ^d  

^a XIDIAN UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c Department of Computer Science and Technology   (China)

^d KING SAUD UNIVERSITY   (Saudi Arabia)

Author keywords

Automated manufacturing system; deadlock; discrete event system; flexible manufacturing system; iterative control; Petri net

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; COMPUTATIONAL COSTS; COMPUTING POWER; DEADLOCK; DEADLOCK CONTROL; DEADLOCK CONTROL POLICY; DEADLOCK PREVENTION POLICY; DIRECT METHOD; ITERATIVE CONTROL; RESOURCE ALLOCATION SYSTEMS;

DISCRETE EVENT SIMULATION; FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS;

ITERATIVE METHODS;

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

References (64)

1. K. Barkaoui and J. F. Pradat-Peyre, "On liveness and controlled siphons in Petri nets, " in Proc. 17th Int. Conf. Appl. Theory Petri Nets, 1996, vol. 1091, pp. 57-72. (Pubitemid 126085899)
2. E. Badouel and P. Darondeau, "Theory of regions, " in Lectures on Petri Nets I: BasicModels (ser. LNCS), vol. 1491, W. Reisig and G. Rozenberg, Eds. Berlin, Germany: Springer, 1998, pp. 529-586. (Pubitemid 128165820)
3. Y. F. Chen, Z. W. Li, M. Khalgui, and O. Mosbahi, "Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems, " IEEE Trans. Autom. Sci. Eng. , vol. 8, no. 3, pp. 374-393, Apr. 2011.
4. (2011, Jun. 20). IBM WebSphere ILOG CPLEX. [Online]. Available: http://www-142. ibm. com/software/products/cn/zh/ibmilogcple/
5. 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.
6. M. P. Fanti andM. C. Zhou, "Deadlock controlmethods in automated manufacturing systems, " IEEE Trans. Syst. , Man, Cybern. A, Syst. Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
7. A. Ghaffari, N. Nidhal, 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. 2, pp. 137-142, Feb. 2003.
8. 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.
9. A. Giua, F. DiCesare, and M. Silva, "Petri net supervisor for generalized mutual exclusion constraints, " in Proc. 12th IFAC World Congr. , Sidney, N. S. W, Australia, Jul. 1993, vol. 1, pp. 267-270.
10. Gurobi Optimization Inc. , Gurobi Optimizer Reference Manual, 2011. [Online]. Available: http://www. gurobi. com
11. B. Hruz andM. C. Zhou, Modeling and Control ofDiscrete EventDynamic Systems: With Petri Nets and Other Tools. London, U. K. : Springer-Verlag, 2007.
12. 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.
13. 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 nets, " IEEE Trans. Autom. Sci. Eng. , vol. 7, no. 4, pp. 933-944, Oct. 2010.
14. P. H. Starke, INA: Integrated Net Analyzer, Jul. 2003. [Online]. Available: http://www2. informatik. hu-berlin. de/lehrstuehle/automaten/ina/
15. 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)
16. K. Lautenbach and H. Ridder, "Liveness in bounded Petri nets which are covered by T-invariants, " in Application and Theory of Petri Nets, vol. 815, R. Valette, Ed. New York: Springer-Verlag, 1994, pp. 358-375.
17. 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.
18. 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.
19. Z. W. Li and N. Wei, "Deadlock control of flexible manufacturing systems via invariant-controlled elementary siphons of Petri nets, " Int. J. Adv. Manuf. Technol. , vol. 33, nos. 1-2, pp. 24-35, 2007. (Pubitemid 46959438)
20. 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, Appl. Rev. , vol. 38, no. 2, pp. 172-188, Mar. 2008.
21. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London, U. K. : Springer-Verlag, 2009.
22. Z. W. Li and M. C. Zhou, Modeling, Analysis, and Deadlock Control of Automated Manufacturing Systems. Beijing, China: Science Press, 2009.
23. Z. W. Li, S. Zhu, 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.
24. Z. W. Li, M. M. Yan, and M. C. Zhou, "Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in Petri nets, " IEEE Trans. Syst. , Man, Cybern. C, Appl. Rev. , vol. 40, no. 3, pp. 330-340, May 2010.
25. 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. Systems, Man, Cybern. C, Appl. Rev. [Online]. doi:10. 1109/TSMCC. 2011. 2160626.
26. Z. W. Li, G. Y. Liu, H. M. Hanisch, and M. C. Zhou, "Deadlock prevention based on structure reuse of Petri net supervisors for flexiblemanufacturing systems, " IEEE Trans. Syst. , Man, Cybern. A, Syst. Humans, vol. 42, no. 1, pp. 178-191, Jan. 2012.
27. 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. (Pubitemid 47061954)
28. 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.
29. Z. W. Li, M. C. Zhou, andM. 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.
30. Z. W. Li and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets, " IEEE Trans. Syst. , Man, Cybern. , A, vol. 38, no. 2, pp. 369-384, Mar. 2008. (Pubitemid 351425590)
31. Y. F. Chen and Z. W. Li, "Design of a maximally permissive livenessenforcing supervisor with a compressed supervisory structure for flexible manufacturing systems, " Automatica, vol. 47, no. 5, pp. 1028-1034, 2011.
32. Lindo Systems Inc. , Lingo User's Guide, 2011. [Online]. Available: http://www. lindo. com
33. 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, Apr. 2008.
34. 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.
35. T. D. Raty, "Survey on contemporary femote surveillance systems for public safety, " IEEE Trans. Syst. , Man, Cybern. C, Appl. Rev. , vol. 40, no. 5, pp. 493-515, Sep. 2010.
36. A. J. C. Trappey, D. W. Hsiao, and M. Lin, "Maintenance chain integration using Petri-net enabled multiagent system modeling and implementation approach, " IEEE Trans. Syst. , Man, Cybern. C, Appl. Rev. , vol. 41, no. 3, pp. 306-315, May 2011.
37. 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. , Vancouver, BC, Canada, 1995, pp. 3035-3040.
38. F. Tricas, F. Garcia-Vall̀es, J. M. Colom, and J. Ezpeleta, "An iterative method for deadlock prevention in FMSs, " in Proc. 5thWorkshop Discrete Event Syst. , R. Boel and G. Stremersch, Eds. Ghent, Belgium, 2000, pp. 139-148.
39. F. Tricas, "Deadlock analysis, prevention and avoidance in sequential resource allocation systems, " Ph. D. dissertation, Univ. Zaragoza, Saragossa, Spain, 2003.
40. F. Tricas, F. Garcia-Valĺes, J. M. Colom, and J. Ezpeleta, "Using linear programming and the Petri net structure for deadlock prevention in sequential resource allocation systems, " in XIII Jornadas de Concurrencia y Sistemas Distribuidos. Madrid, Spain: Thomson Paraninfo, 2005, pp. 65-77.
41. 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. (Pubitemid 34268717)
42. 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, 2006. (Pubitemid 43860503)
43. 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. (Pubitemid 46621522)
44. N. Q. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model, " IEEE Trans. Syst. , Man, Cybern. C, Appl. Rev. , vol. 29, no. 2, pp. 192-204, May 1999.
45. N. Q. Wu and W. Q. Zeng, "Deadlock avoidance in AGV system using colored Petri net model, " Int. J. Prod. Res. , vol. 40, no. 1, pp. 223-238, 2002.
46. 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.
47. N. Q. Wu, L. P. Bai, and C. B. Chu, "Modeling and conflict detection of crude-oil operations for refinery process based on controlled-coloredtimed Petri net, " IEEE Trans. Syst. , Man, Cybern. C, Appl. Rev. , vol. 37, no. 4, pp. 461-472, Jul. 2007.
48. 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.
49. N. Q. Wu, F. Chu, C. B. Chu, and M. C. Zhou, "Short-term schedulability analysis of crude oil operations in refinery with oil residency time constraint using Petri net, " IEEE Trans. Syst. , Man, Cybern. C, Appl. Rev. , vol. 38, no. 6, pp. 765-778, Nov. 2008.
50. N. Q. Wu, F. Chu, C. B. Chu, and M. C. Zhou, "Short-term schedulability analysis of multiple distiller crude oil operations in refinery with oil residency time constraint, " IEEE Trans. Syst. , Man, Cybern. C, Appl. Rev. , vol. 39, no. 1, pp. 1-16, Jan. 2009.
51. N. Q. Wu, F. Chu, C. B. Chu, andM. C. Zhou, "Hybrid Petri net modeling and schedulability analysis of high fusion point oil transportation under tank grouping strategy for crude oil operations in refinery, " IEEE Trans. Syst. , Man, Cybern. C, Appl. Rev. , vol. 40, no. 2, pp. 159-175, Mar. 2010.
52. N. Q. Wu, C. B. Chu, F. Chu, and M. C. Zhou, "A Petri net method for schedulability and scheduling problems in single-arm cluster tools with wafer residency time constraints, " IEEE Trans. Semiconductor Manufacturing, vol. 21, no. 2, pp. 224-237, May 2008.
53. N. Q. Wu and M. C. Zhou, System Modeling and Control with Resource-Oriented Petri Nets. New York: CRC Press, 2010.
54. K. Xing, M. C. Zhou, X. Yang, 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.
55. K. Xing, M. C. Zhou, F. Wang, H. Liu, and F. Tian, "Resource transition 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.
56. E. Yamalidou, J. O. Moody, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants, " Automatica, vol. 32, no. 1, pp. 15-28, 1996.
57. 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.
58. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets formanufacturing systems, " IEEE Trans. Robot. Autom. , vol. 8, no. 3, pp. 350-361, Jun. 1992.
59. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system, " Automatica, vol. 28, no. 6, pp. 1199-1208, 1992. (Pubitemid 23587956)
60. M. C. Zhou and M. P. Fanti (Ed. ), Deadlock Resolution in Computer-Integrated Systems, New York: Marcel Dekker, Jan. 2005.
61. M. C. Zhou and M. D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach, " IEEE Trans. Semiconductor Manuf. , vol. 11, no. 3, pp. 333-357, Aug. 1998. (Pubitemid 128742374)
62. M. C. Zhou, K. McDermott, and P. A. Patel, "Petri net synthesis and analysis of a flexible manufacturing system cell, " IEEE Trans. Syst. , Man, and Cybern. , vol. 23, no. 2, pp. 523-531, Mar./Apr. 1993. (Pubitemid 23694031)
63. M. C. Zhou and R. Zurawski, "Introduction to Petri nets in flexible and agile automation, " in Petri Nets in Flexible and Agile Automation, M. C. Zhou, Ed. , Boston, MA: Kluwer Academic Publishers, 1995, pp. 1-42.
64. 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.