On siphon computation for deadlock control in a class of Petri nets

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

Volumn 38, Issue 3, 2008, Pages 667-679

  Li, ZhiWu ^a   Zhou, MengChu ^b,c  

^a XIDIAN UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c INSTITUTE OF AUTOMATION   (China)

Author keywords

Automated manufacturing system; Deadlock prevention; Elementary siphon; Flexible manufacturing system (FMS); Petri net; Resource allocation system; Siphon

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; FLEXIBLE MANUFACTURING SYSTEMS; POLYNOMIALS; RESOURCE ALLOCATION; SIPHONS;

AUTOMATED MANUFACTURING SYSTEM; DEADLOCK CONTROL; DEADLOCK PREVENTION; ELEMENTARY SIPHON;

PETRI NETS;

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

References (63)

1. B. Zouari and K. Barkaoui, "Parameterized supervisor synthesis for a modular class of discrete event systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Washington, DC, Oct. 5-8, 2003, pp. 1874-1879.
2. 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.
3. 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, Oct. 1998.
4. K. Barkaoui and I. B. Abdallah, "A deadlock prevention method for a class of FMS," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Vancouver, BC, Canada, 1995, pp. 4119-4124.
5. 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., Orlando, FL, 1997, pp. 3750-3755.
6. K. Barkaoui and B. Lemaire, "An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory," in Proc. 10th Int. Conf. Appl. Theory Petri Nets, Bonn, Germany, 1989, pp. 1-21.
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. 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.
9. J. Ezpeleta, J. M. Couvreur, and M. Silva, "A new technique for finding a generating family of siphons, traps, and st-components: Application to colored Petri nets," in Advances in Petri Nets, vol. 674, G. Rozenberg, Ed. New York: Springer-Verlag, 1993, pp. 126-147.
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. 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. 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.
13. M. D. Jeng and X. L. Xie, "Analysis of modularly composed nets by siphons," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 29, no. 4, pp. 399-406, Jul. 1999.
14. 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.
15. M. D. Jeng, X. L. Xie, and S.-L. Chung, "ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 102-112, Jan. 2004.
16. K. Lautenbach, "Linear algebraic calculation of deadlocks and traps," in Concurrency and Nets, K. Voss, H. J. Genrich, and G. Rozenberg, Eds. New York: Springer-Verlag, 1987, pp. 315-336.
17. K. Lautenbach and H. Ridder, "Liveness in bounded Petri nets which are covered by t-invariants," in Proc. 13th Int. Conf. Appl. Theory Petri Nets, R. Valette, Ed. Berlin, Germany: Springer-Verlag, 1994, vol. 815, pp. 358-375.
18. 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.
19. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. U.K.: Springer, 2007.
20. 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.
21. S. A. Reveliotis, "On the siphon-based characterization of liveness in sequential resource allocation systems," in Proc. Int. Conf. Appl. Theory Petri Nets, W. M. P. van der Aalst and E. Best, Eds. Berlin, Germany: Springer-Verlag, 2003, vol. 2679, pp. 241-255.
22. A. Schrijver, Theory of Linear and Integer Programming. New York: Wiley, 1998.
23. R. Cordone, L. Ferrarini, and L. Piroddi, "Some results on the computation of minimal siphons in Petri nets," in Proc. 42nd IEEE Conf. Decision Control, Maui, HI, Dec. 9-12, 2003, vol. 4, pp. 3754-3759.
24. R. Cordone, L. Ferrarini, and L. Piroddi, "Enumeration algorithms for minimal siphons in Petri nets based on place constraints," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 35, no. 6, pp. 844-854, Nov. 2005.
25. 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. 1127-1227, Nov. 2006.
26. S. Tanimoto,M. Yamauchi, and T.Watanabe, "Finding minimal siphons in general Petri nets," IEICE Trans. Fundam., vol. E79-A, no. 11, pp. 1817-1824, Nov. 1996.
27. T. Watanabe, M. Yamauchi, and S. Tanimoto, "Extracting siphons containing specified set of places in Petri nets," in Proc. IEEE Int. Conf. Syst., Man, Cybern., San Diego, CA, Oct. 11-14, 1998, pp. 142-147.
28. F. Tricas, F. G. Valles, J. M. Colom, and J. Ezpeleta, "An iterative method for deadlock prevention in FMSs," in Proc. 5th Workshop Discrete Event Syst., R. Boel and G. Stremersch, Eds., Ghent, Belgium, Aug. 21-23, 2000, pp. 139-148.
29. F. Tricas and J. Ezpeleta, "Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets," in Proc. 9th IEEE Conf. Emerging Technol. Factory Autom., Lisbon, Portugal, Sep. 16-18, 2003, pp. 322-329.
30. 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.
31. 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.
32. F. Tricas and J. Ezpeleta, "Computing minimal siphons in Petri net models of resource allocation systems: A parallel solution," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 3, pp. 532-539, May 2006.
33. E. R. Boer and T.Murata, "Generating basis siphons and traps of Petri nets using the sign incidence matrix," IEEE Trans. Circuits Syst. I, Fundam. Theory Appl., vol. 41, no. 4, pp. 266-271, Apr. 1994.
34. 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.
35. M. C. Zhou and K. Venkatesh, Modelling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
36. S. A. Reveliotis, Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach. New York: Springer-Verlag, 2005.
37. 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.
38. T. H. Cormen, C. E. Leiserson, and R. L. Rivest, Introduction to Algorithms. Cambridge, MA: MIT Press, 1992.
39. Z. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 724-734, Dec. 1990.
40. J. Ezpeleta, F. Garcí-Vallés, and J. M. Colom, "A class of well structured Petri nets for flexible manufacturing systems," in Proc. 19th Int. Conf. Appl. Theory Petri Nets, J. Desel and M. Silva, Eds. Lisbon, Portugal: Springer-Verlag, Jun. 1998, vol. 1420, pp. 64-83.
41. J. Ezpeleta, F. Tricas, F. Garcia-Vallés, and J. 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.
42. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "A deadlock prevention policy for flexible manufacturing systems using siphons," in Proc. IEEE Int. Conf. Robot. Autom., Seoul, Korea, May 21-26, 2001, pp. 541-546.
43. 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, Oct. 22-25, 1995, pp. 3035-3040.
44. 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.
45. P. H. Starke, INA: Integrated Net Analyzer, 1992. Handbuch.
46. Y. S. Huang, "Design of deadlock prevention supervisors using Petri nets," Int. J. Adv. Manuf. Technol., vol. 35, no. 3/4, pp. 349-362, Dec. 2007.
47. Y. S. Huang, "Deadlock prevention for sequence resource allocation systems," J. Inf. Sci. Eng., vol. 23, no. 1, pp. 215-231, Jan. 2007.
48. Y. S. Huang, M. D. Jeng, X. L. Xie, and T. H. Chung, "Siphon-based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1248-1256, Nov. 2006.
49. Z. W. Li and M. C. Zhou, "Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Ind. Inf., vol. 2, no. 4, pp. 313-325, Nov. 2006.
50. 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.
51. 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. 182-204, 1999.
52. N. Q. Wu and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems based on a Petri net model," IEEE Trans. Robot. Autom., vol. 17, no. 5, pp. 658-669, 2001.
53. N. Q. Wu and M. C. Zhou, "Modeling and deadlock control of automated guided vehicle systems," IEEE/ASME Trans. Mechatronics, vol. 9, no. 1, pp. 50-57, 2004.
54. 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, 2005.
55. N. Q. Wu and M. C. Zhou, "Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets," Int. J. Prod. Res., vol. 45, no. 15, pp. 3439-3456, 2007.
56. N. Q. Wu and M. C. Zhou, "Deadlock-free scheduling for semiconductor track systems based on resource oriented Petri nets," OR Spectrum vol. 29, no. 3, pp. 421-443, Jul. 2007.
57. N. Q. Wu and M. C. Zhou, "Shortest routing of bi-directional automated guided vehicles avoiding deadlock and blocking," IEEE/ASME Trans. Mechatronics, vol. 12, no. 1, pp. 63-72, 2007.
58. N. Q. Wu and M. C. Zhou, "Deadlock resolution in automated manufacturing systems with robots," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 3, pp. 474-480, 2007.
59. 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, 2008.
60. Z. W. Li and M. C. Zhou, "Comparison of two deadlock prevention methods for different-size flexible manufacturing systems," Int. J. Intell. Control Syst., vol. 10, no. 3, pp. 235-243, Sep. 2005.
61. 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., pp. 173-188, Mar. 2008.
62. 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, 2007.
63. F.-Y. Wang, Y. Gao, and M. C. Zhou, "A modified reachability tree approach to analysis of unbounded Petri nets," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 34, no. 1, pp. 303-308, Feb. 2004.