Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets

2011 International Conference on Networking, Sensing and Control, ICNSC 2011

Volumn , Issue , 2011, Pages 359-364

  Liu, Guanjun ^a   Jiang, Changjun ^a   Zhou, Mengchu ^b  

^a TONGJI UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDENT SIPHON; ELEMENTARY SIPHON; STRICT MINIMAL SIPHON; SUFFICIENT CONDITIONS;

PETRI NETS; SIPHONS;

CONTROLLABILITY;

EID: 79959961600     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNSC.2011.5874938     Document Type: Conference Paper

References (43)

1. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, no. 2, pp. 173-184, 1995.
2. 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., vol. 34, no. 1, pp. 38-51, 2004.
3. Z. W. Li and N. Wei, "Deadlock control of flexible manufacturing systems via invariant-controlled elementary siphons of Petri nets," Int. J. Adv. Manuf. Tech., vol. 33, no. 1-2, pp. 24-35, 2007.
4. Z. W. Li, H. S. Hu, and A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Tran. Syst., Man, Cybern., Part C, vol. 37, no. 4, pp. 517-526, 2007.
5. Z. W. Li and H. S. Hu, "On systematic methods to remove redundant monitors from liveness-enforcing net supervisors," Comput. Industrial Eng., vol. 56, no. 1, pp. 53-62, 2009.
6. D. Y. Chao and Z. W. Li, "Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons," IET Control Theory Appl., vol. 3, no. 4, pp. 391-403, 2009.
7. Z. W. Li and M. Shpitalni, "Smart deadlock prevention policy for flexible manufacturing systems using Petri nets," IET Control Theory Appl., vol. 3, no. 3, pp. 362-374, 2009.
8. K. Y. Xing, M. C. Zhou, H. Liu, and F. Tian, "Optimal Petri-net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., A., vol. 39, no. 1, pp. 188-199, 2009.
9. G. J. Liu, C. J. Jiang, and M. C. Zhou, "Two simple deadlock prevention policies for S3PR based on key-resource/operation-place pairs," IEEE Trans. Automat. Sci. Eng., vol. 7, no. 4, pp. 945-957, 2010.
10. G. J. Liu, C. J. Jiang, Z. H. Wu, and L. J. Chen, "A live subclass of petri net and their application in modeling flexible manufacturing systems," Int. J. Adv. Manuf. Tech., 2009, 41, (1-2), pp. 66-74.
11. I. B. Abdallah and H. ElMaraghy, "Deadlock prevention and avoidance in FMS: a Petri net based approach," Int. J. Adv. Manuf. Tech., vol. 14, no. 10, pp. 704-715, 1998.
12. J. Ezpeleta, F. Tricas, F. García-Vallès, and J. M. Colom, "A banker's solution for deadlock avoidance in FMS with flexible routing and multi resource stats," IEEE Trans. Robot. Automat., vol. 18, no. 4, pp. 621-625, 2002.
13. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Automat., vol. 13, no. 6, pp. 793-840, 1997.
14. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Automat. Control, vol. 46, no. 10, pp. 1572-1583, 2001.
15. Y. S. Huang, "Deadlock prevention for sequence resource allocation systems," J. Inf. Sci. Eng., vol. 23, no. 1, pp. 215-231,2007.
16. 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., vol. 36, no. 6, pp. 2152-2160, 2006.
17. X. L. Xie and M. D. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans. Robot. Automat., vol. 15, no. 4, pp. 692-703, 1999.
18. 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. Sys., Man, Cybern. A., vol. 34, no. 1, pp. 102-112, 2004,.
19. B. Zouari and K. Barkaoui, "Parameterized supervisor synthesis for a modular class of discrete event systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 2003, pp. 1874-1879.
20. Z. W. Li and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets," IEEE Trans. Syst., Man, Cybern., Part A, vol. 38, no. 2, pp. 369-384, 2008.
21. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, Springer, New York, 2009.
22. D. Liu, Z. W. Li, and M. C. Zhou, "Liveness of an Extended S3PR," Automatica, vol.46, no.6, pp.1008-1018, 2010.
23. Hu, H., M. C. Zho H. Hu, M. C. Zhou u and Z. Li, "Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets," IEEE Trans. on Automation Science and Engineering, Vol. 7, No. 3, pp. 549 - 557, July 2010.
24. H. Hu, M. C. Zhou and Z. Li, "Low-Cost High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets," IEEE Transactions on Automation Science and Engineering, Vol. 7, No. 4, pp. 933-944, Oct. 2010
25. H. Hu, M. C. Zhou and Z. Li, "Liveness Enforcing Supervision of Video Streaming Systems Using Non-sequential Petri Nets," IEEE Trans. on Multimedia, 11(8), pp. 1446-1456, Dec. 2009.
26. N. Q. Wu and M. C. Zhou, System Modeling and Control with Resource-Oriented Petri Nets. CRC Press, New York, 2010.
27. N. Q. Wu, M. C. Zhou, "Resource-Oriented Petri Nets in Deadlock Prevention and Avoidance," in Deadlock Resolution in Computer-Integrated Systems, M. C. Zhou and M. P. Fanti (Ed.), Marcel Dekker, 349-406, 2005.
28. N. Q. Wu, Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model, IEEE Trans. on Systems, Man, and Cybernetics, Part C, vol. 29, no. 2, 182-204, 1999.
29. N. Q. Wu and M. C. Zhou, "Deadlock Resolution in Automated Manufacturing Systems with Robots," IEEE Trans. On Automation Science and Engineering, Vol. 4, No. 3, pp. 474-480, July 2007.
30. N. Q. Wu and M. C. Zhou, and Z. Li, "Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems," IEEE Trans. on Systems, Man, and Cybernetics: Part A, 38(1), pp. 56-69, Jan. 2008.
31. N. Q. Wu and M. C. Zhou, "Deadlock modeling and control of semiconductor track systems using resource oriented Petri nets," Int. J. of Production Research, Vol. 45, No. 15, pp. 3439-3456, August 2007.
32. N. Q. Wu and M. C. Zhou, "Modeling and Deadlock Avoidance of Automated Manufacturing Systems with Multiple Automated Guided Vehicles," IEEE Trans. on Systems, Man, and Cybernetics: Part B, 35(6), 1193-1202, Dec. 2005.
33. N. Q. Wu and M. C. Zhou, "Deadlock Modeling and Control of Automated Guided Vehicle Systems," IEEE/ASME Trans. On Mechatronics, 9(1), 50-57, 2004.
34. N. Q. Wu and M. C. Zhou, "Avoiding Deadlock and Reducing Starvation and Blocking in Automated Manufacturing Systems," IEEE Trans. on Robotics and Automation, 17(5), pp. 658-669, October 2001.
35. 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. Sys., Man, Cybern. A., 41(1), 74-84, 2011.
36. 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 (2009).
37. 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 (2008)
38. S. G. Wang, C.Y. Wang, and Y. P. Yu, "Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places," Accepted by ACM Trans. On Embedded Computing Systems, 2010.
39. 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.
40. 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., 19, 192-208, 2002.
41. A. Reveliotis, Real-Time Management of Resource Allocation Systems: A Discrete-Event Systems Approach. Springer, New York, 2005.
42. E. Roszkowska, Supervisory control for deadlock avoidance in compound processes, IEEE Transactions on Systens, Man, & Cybernetics, Part A, vol. 34, no. 1, 52-64, 2004.
43. M. C. Zhou and M. P. Fanti (Ed.), Deadlock Resolution in Computer-Integrated Systems, Marcel Dekker, New York, 2005.