On controllability of dependent siphons for deadlock prevention in generalized Petri nets

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

Volumn 38, Issue 2, 2008, Pages 369-384

  Li, Zhiwu ^a,b   Zhao, Mi ^a  

^a XIDIAN UNIVERSITY   (China)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Deadlock prevention; Dependent siphon; Elementary siphon; Flexible manufacturing systems (FMS); Petri net

Indexed keywords

CONTROLLABILITY; MANUFACTURE; MATHEMATICAL MODELS; PETRI NETS;

DEADLOCK PREVENTION; DEPENDENT SIPHON; ELEMENTARY SIPHON; FLEXIBLE MANUFACTURING SYSTEMS (FMS);

SIPHONS;

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

References (45)

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, Oct. 1998.
2. 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.
3. 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.
4. K. Barkaoui and L. Petrucci, "Structural analysis of workflow nets with shared resources," in Proc. Workshop Workflow Manage.: Net-Based Concepts, Models, Tech., Tools, Lisbon, Portugal, Jun. 22, 1998, pp. 82-85.
5. K. Barkaoui and J. F. Pradat-Peyre, "On liveness and controlled siphons in Petri nets," in Proc. 17th Int. Conf. Appl. Theory Petri Nets, Osaka, Japan, 1996, vol. 1091, pp. 57-72.
6. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical progranuning," 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, E García-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, Jun. 1998, vol. 1420, pp. 64-83.
9. J. Ezpeleta and L. Recalde, "A deadlock avoidance approach for nonsequential resource allocation systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 93-101, Jan. 2004.
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. F. S. Hsien and S. C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 196-209, Apr. 1994.
13. 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.
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. Prod. Res., vol. 39, no. 2, pp. 283-305, Jan. 2001.
15. 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, Syst., Humans, vol. 36, no. 6, pp. 1248-1256, Nov. 2006.
16. M. D. Jeng and Y. S. Huang, "Petri nets for modeling and analysis of manufacturing systems with local operation cycles," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Tokyo, Japan, Oct. 12-15, 1999, vol. 3, pp. 793-797.
17. 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.
18. 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.
19. 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.
20. T. Kumaran, W. Chang, and H. Cho, "A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems," Int. J. Prod. Res., vol. 32, no. 10, pp. 2361-2379, Oct. 1994.
21. 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.
22. Z. W. Li and M. C. Zhou, "Clarifications on the definitions of elementary siphons in Petri nets," IEEE Trans. Syst., Man, Cybern. vol. 36, no. 6, pp. 1227-1229, Nov. 2006.
23. 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.
24. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
25. J. Park, "Structural analysis and control of resource allocation systems using Petri nets," Ph.D. dissertation, School Ind. and Syst. Eng., Georgia Inst. Technol., Atlanta, GA, 2000.
26. 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.
27. 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.
28. 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.
29. S. A. Reveliotis, Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach. New York: Springer-Verlag, 2005.
30. 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.
31. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, "A structural approach to the problem of deadlock prevention in processes with resources," in Proc. IEE 4th Workshop Discrete Event Syst., Cagliari, Italy, Aug. 26-28, 1998, pp. 273-278.
32. F. Tricas, F. García-Vallés, 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.
33. T. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, "A Petri net structure-based deadlock prevention solution for sequential resource allocation systems," in Proc. IEEE Int. Conf. Robot. Autom. Barcelona, Spain, Apr. 18-22, 2005, pp. 271-277.
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, Feb. 2002.
35. M. Uzam and M. C. Zhou, "Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., The Hague, The Netherlands, Oct. 10-13, 2004, pp. 4260-4265.
36. W. M. P. Van Der Aalst, "Verification of workflow nets," in Proc. 18th Int. Conf. Appl. Theory Petri Nets, P. Azema and G. Baldo, Eds. Berlin, Germany: Springer-Verlag, 1997, vol. 1248, pp. 407-426.
37. W. M. P. Van Der Aalst, "The application of Petri nets to workflow management," J. Circuits Syst. Comput., vol. 8, no. 1, pp. 21-66, Feb. 1998.
38. W. M. P. Van Der Aalst, Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques, vol. 1806, W. M. P. Aalst et al., Eds., Berlin, Germany: Springer-Verlag, 2000, pp. 162-183.
39. N. Viswanadham, Y. Narahari, and T. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 713-723, Dec. 1990.
40. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. Robot. Autom., vol. 7, no. 6, pp. 853-859, Dec. 1991.
41. 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.
42. 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. 42, no. 2, pp. 289-295, Feb. 1996.
43. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer, 1993.
44. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
45. 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, 2003, pp. 1874-1879.