Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes

Transactions of the Institute of Measurement and Control

Volumn 33, Issue 1, 2011, Pages 9-29

  wu, Naiqi ^a   Zhou, Mengchu ^b,c  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c XIDIAN UNIVERSITY   (China)

Author keywords

automated manufacturing system (AMS); modelling and control; Petri nets (PNs)

Indexed keywords

PETRI NETS; SMART CARDS;

AUTOMATED MANUFACTURING SYSTEMS; CURRENT MODELING; MODELLING AND CONTROLS; MODIFIED MODEL; PETRI NET MODELS; PETRI NETS (PNS); RECONFIGURABLE; SYSTEM RECONFIGURATION;

MANUFACTURE;

EID: 79952012474     PISSN: 01423312     EISSN: None     Source Type: Journal    
DOI: 10.1177/0142331208095622     Document Type: Article

References (46)

1. Alla, H., Ladet, P., Martinez, J. and Silva-Suarez, M. 1984: Modeling and validation of complex systems by colored Petri nets: Application to a flexible manufacturing system. In Advances in Petri Nets, Lecture Notes on Computer Science, 188, 15-31.
2. Bruccoleri, M., Amico, M. and Perrone, G. 2003: Distributed intelligent control of exceptions in reconfigurable manufacturing systems. International Journal of Production Research, 41, 1393-412.
3. Cheng, F.-T., Chang, C.-F. and Wu, S.-L. 2004: Development of holonic manufacturing execution systems. Journal of Intelligent of Manufacturing, 15, 253-67.
4. Chu, F. and Xie, X.L. 1997: Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation, 13, 793-8044.
5. Cormen, T.H., Leiserson, C.E. and Rivest, R.E. 1990: Introduction to algorithms. MIT Press/. McGraw-Hill.
6. 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, 171-84.
7. Fung, R.Y.K., Jiang, Z., Zuo, M.J. and Tu, P.Y.L. 2002: Adaptive production scheduling of virtual production systems using object-oriented Petri nets with changeable structure. International Journal of Production Research, 40, 1759-85.
8. Hruz, B. and Zhou, M.C. 2007: Modeling and control of discrete event dynamic systems. Springer.
9. Hsieh, F.S. 2002: Modeling and control of holonic manufacturing systems based on extended contract protocol. Proceedings of the 2002 American Control Conference, Anchorage, 5037-42.
10. Huang, Y.S., Jeng, M.D., Xie, X.L. and Chung, S.L. 2001: Deadlock prevention policy based on Petri nets and siphons. International Journal of Production Research, 39, 283-305.
11. Jeng, M.D. and Xie, X.L. 2001: Modeling and analysis of semiconductor manufacturing systems with degraded behavior using Petri nets and siphons. IEEE Transactions on Robotics and Automation, 17, 576-88.
12. Koren, Y., Heisel, U., Jovane, F., Moriwoki, T., Pritschow, G., Ulsoy, A.G. and Van Brussel, H. 1999: Reconfigurable manufacturing systems. Annals of the CIRP, 2, 1-13.
13. 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, & Cybernetics, Part A, 34, 38-51.
14. Li, Z.W. and Zhou, M.C. 2006a: Clarifications on the definitions of elementary siphons of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 36, 1277-79.
15. Li, Z.W. and Zhou, M.C. 2006b: Two-stage method for synthesizing liveness- enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Industrial Informatics, 2, 313-25.
16. Li, Z.W. and Zhou, M.C. 2008: Control of elementary and dependent siphons of Petri nets and their application. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 38, 133-48.
17. Li, Z.W., Hu, H.S. and Wang, A.R. 2007: Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 37, 517-26.
18. Li, Z.W., Zhou, M.C. and Jeng, M.D. 2008a: 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, 182-88.
19. Li, Z.W., Zhou, M.C. and Wu, N.Q. 2008b: A survey and comparison of Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 38, 172-88.
20. Mehrabi, M.G., Ulsoy, A.G. and Koren, Y. 2000: Reconfigurable manufacturing systems: key to future manufacturing. Journal of Intelligent Manufacturing, 11, 403-419.
21. Mehrabi, M.G., Ulsoy, A.G., Koren, Y. and Heytler, P. 2002: Trends and perspectives in flexible and reconfigurable manufacturing systems. Journal of Intelligent Manufacturing, 13, 135-46.
22. Naso, D. and Turchiano, B. 2004: A coordination strategy for distributed multi-agent manufacturing systems. International Journal of Production Research, 42, 2497-520.
23. O’Grady, P. and Seshadri, R. 1991: X-Cell - intelligent cell control using object-oriented programming. Computer Integrated Manufacturing Systems, 4, 157-63.
24. O’Grady, P. and Seshadri, R. 1992: Operation of X-Cell - an intelligent cell control system. Computer Integrated Manufacturing Systems, 5, 31-40.
25. Ramirez-Serrano, A. and Benhabib, B. 2003: Supervisory control of reconfigurable flexible-manufacturing workcell - temporary addition of resources. International Journal of Computer Integrated Manufacturing, 16, 93-111.
26. Smith, J.S. and Joshi, S.B. 1992: Reusable software concepts applied to the development of FMS control software. International Journal of Computer Integrated Manufacturing, 5, 182-96.
27. Viswanadham, N. and Narahari, Y. 1987: Colored Petri net models for automated manufacturing systems. In Proceedings of 1987 IEEE International Conference on Robotics and Automation, Raleigh, NC, 1985-90.
28. Wang, L.-C. 1996: An integrated object-oriented Petri net paradigm for manufacturing control system. International Journal of Computer Integrated Manufacturing, 9, 73-87.
29. Wang, Y.H., Yin, C.W. and Zhang, Y. 2003: A multi-agent and distributed ruler based approach to production scheduling of agile manufacturing systems. International Journal of Computer Integrated Manufacturing, 16, 81-92.
30. Wu, N.Q. 1997: Avoiding deadlocks in automated manufacturing systems with shared material handling system. In Proceedings of 1997 IEEE International Conference on Robotics and Automation, Albuquerque, NM, 2427-33.
31. Wu, N.Q. 1999: Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 29, 192-204.
32. Wu, N.Q. and Zeng, W.Q. 2002: Deadlock avoidance in AGV system using colored Petri net model. International Journal of Production Research, 40, 223-38.
33. 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, 657-68.
34. Wu, N.Q. and Zhou, M.C. 2004: Modeling and deadlock control of automated guided vehicle systems. IEEE/ASME Transactions on Mechatronics, 9, 50-57.
35. 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, & Cybernetics, Part B, 35, 1193-202.
36. Wu, N.Q. and Zhou, M.C. 2007a: Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets. International Journal of Production Research, 45, 3439-56.
37. Wu, N.Q. and Zhou, M.C. 2007b: Shortest routing of bi-directional automated guided vehicles avoiding deadlock and blocking. IEEE/ASME Transactions on Mechatronics, 12, 63-72.
38. Wu, N.Q. and Zhou, M.C. 2007c: Deadlock resolution in automated manufacturing systems with robots. IEEE Transactions on Automation Science and Engineering, 4, 474-480.
39. Wu, N.Q. and Zhou, M.C. 2007d: Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets. OR Spectrum, 29, 421-43.
40. Wu, N.Q., Zhou, M.C. and Li, Z.W. 2008a: Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Transactions on System, Man, & Cybernetics, Part A, 38, 56-69.
41. Wu, N.Q., Chu, C.B., Chu, F. and Zhou, M.C. 2008b: A Petri net method for schedulability and scheduling problems in single-arm cluster tools with wafer residency time constraints. IEEE Transactions on Semiconductor Manufacturing, 21, 224-37.
42. Xing, K.Y., Hu, B.S. and Chen, H.X. 1996: Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control, 41, 289-95.
43. Zhou, M.C. and DiCesare, F. 1991: Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources. IEEE Trans. on Robotics & Automation, 7, 515-27.
44. Zhou, M.C. and DiCesare, F. 1993: Petri net synthesis for discrete event control of manufacturing systems. Kluwer.
45. Zhou, M.C., DiCesare, F. and Desrochers, A. 1992: A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Transactions on Robotics and Automation, 18, 350-61.
46. Zhou, M.C. and Venkatesh, K. 1998: Modeling, simulation and control of flexible manufacturing systems: a Petri net approach. World Scientific.