Most permissive liveness-enforcing Petri net supervisors for flexible manufacturing systems

International Journal of Production Research

Volumn 50, Issue 22, 2012, Pages 6357-6371

  Chen, Yufeng ^a   Li, Zhiwu ^a,b   Zhou, Mengchu ^c  

^a XIDIAN UNIVERSITY   (China)

^b KING SAUD UNIVERSITY   (Saudi Arabia)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Behavioural permissiveness; Deadlock prevention; Discrete event simulation; FMS; Petri nets

Indexed keywords

BEHAVIOURAL PERMISSIVENESS; DEADLOCK PREVENTION; FMS; INTEGER LINEAR PROGRAMMING; LIVENESS-ENFORCING SUPERVISOR; NET MODEL; PLACE INVARIANTS; PLANT MODEL; REACHABILITY; REACHABILITY GRAPHS;

DISCRETE EVENT SIMULATION; INTEGER PROGRAMMING; PETRI NETS; SUPERVISORY PERSONNEL;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 84868245168     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207543.2011.637526     Document Type: Article

References (29)

1. Banaszak, Z. and Krogh, B.H., 1990. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation, 6 (6), 724-734.
2. Chen, Y.F. and Li, Z.W., 2011. Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica, 47 (5), 1028-1034.
3. Chen, Y.F., et al., 2011. Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering, 8 (2), 474-493.
4. Coffman, E.G., Elphick, M.J., and Shoshani, A., 1971. Systems deadlocks. ACM Computing Surveys, 3 (2), 67-78.
5. Ezpeleta, J., Colom, J.M., and Martinez, J., 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11 (2), 173-184.
6. Ezpeleta, J. and Recalde, L., 2004. A deadlock avoidance approach for non-sequential resource allocation systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 34 (1), 93-101.
7. Fanti, M.P. and Zhou, M.C., 2004. Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 34 (1), 5-22.
8. Fanti, M.P. and Zhou, M.C., 2005. Introduction to deadlock research in computer-intergated systems. In: M.C. Zhou and M.P. Fanti, eds. Deadlock resolution in computer-integrated systems. New York: Marcel-Dekker, 1-22.
9. Ghaffari, A., Rezg, N., and Xie, X.L., 2003. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation, 19 (1), 137-142.
10. Gligor, V. and Shattuck, S., 1980. On deadlock detection in distributed systems. IEEE Transactions on Software Engineering, 7 (3), 320-336.
11. Hruz, B. and Zhou, M.C., 2007. Modeling and control of discrete-event dynamic systems: With petri nets and other tools. London: Springer.
12. Hsieh, F.S. and Chang, S.C., 1994. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 10 (2), 196-209.
13. Hu, H.S., Zhou, M.C., and Li, Z.W., 2010. Low-cost high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets. IEEE Transactions on Automation Science and Engineering, 7 (4), 933-944.
14. Huang, Y.S., et al., 2001. Deadlock prevention based on petri nets and siphons. International Journal of Production Research, 39 (2), 283-305.
15. Lautenbach, K. and Ridder, H., 1996. The linear algebra of deadlock avoidance - A Petri net approach. No. 25-1996, Technical Report, Institute of Software Technology, University of Koblenz-Landau, Germany, Koblenz.
16. Li, Z.W. and Zhou, M.C., 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 34 (1), 38-51.
17. Li, Z.W. and Zhou, M.C., 2009. Deadlock resolution in automated manufacturing systems: A novel Petri net approach. Berlin: Springer.
18. Li, Z.W., Zhou, M.C., and Jeng, M.D., 2008. A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering, 5 (1), 182-188.
19. Park, J. and Reveliotis, S.A., 2001. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control, 46 (10), 1572-1583. (Pubitemid 33018223)
20. Tricas, F., et al., 2005. A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. In: Proceedings of the IEEE transactions conference on robotics and automation, 18-22 April 2005, Barcelona, Spain, 271-277. (Pubitemid 46083810)
21. Uzam, M., 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology, 19 (3), 192-208. (Pubitemid 34268717)
22. Uzam, M. and Zhou, M.C., 2006. An improved iterative syhthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research, 44 (10), 1987-2030. (Pubitemid 43860503)
23. Viswanadham, N., Narahari, Y., and Johnson, T., 1990. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation, 6 (6), 713-723.
24. Wu, N.Q. and Zhou, M.C., 2001. Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Transactions on Robotics and Automation, 17 (5), 658-669.
25. Wu, N.Q. and Zhou, M.C., 2005. Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Transactions on Systems, Man, and Cybernetics, Part B, 35 (6), 1193-1202.
26. Wysk, R.A., Yang, N.S., and Joshi, S., 1994. Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches. Journal of Manufacturing Systems, 13 (2), 128-138.
27. Xing, K.Y., Hu, B.S., and Chen, H.X., 1996. Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control, 41 (2), 289-295.
28. Yamalidou, K., et al., 1996. Feedback control of Petri nets based on place invariants. Automatica, 32 (1), 15-28. (Pubitemid 126337854)
29. Zhou, M.C. and DiCesare, F., 1991. Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources. IEEE Transactions on Robotics and Automation, 7 (4), 515-527.