Improved net rewriting system-based approach to model reconfiguration of reconfigurable manufacturing systems

International Journal of Advanced Manufacturing Technology

Volumn 37, Issue 11-12, 2008, Pages 1168-1189

  Li, Jun ^a   Dai, Xianzhong ^a   Meng, Zhengda ^a  

^a SOUTHEAST UNIVERSITY   (China)

Author keywords

Discrete event systems; Improved net rewriting systems; Model reconfiguration; Petri nets; Reconfigurable manufacturing systems; Supervisory control

Indexed keywords

COMPUTER NETWORKS; DYNAMIC MODELS; DYNAMICAL SYSTEMS; FLEXIBLE MANUFACTURING SYSTEMS; GRAPH THEORY; INSTRUMENT SCALES; MANUFACTURE; PETRI NETS; WELL STIMULATION;

BEHAVIORAL PROPERTY (BP); BOUNDEDNESS; CASE STUDIES; DYNAMIC STRUCTURAL CHANGES; GRAPH REWRITING RULES; LIVENESS; NET REWRITING SYSTEMS; PETRI NET (PN) MODELS; PN MODELS; RECONFIGURABLE MANUFACTURING; RECONFIGURABLE MANUFACTURING SYSTEMS (RMSS); RECONFIGURATION PROCESSES; REWRITING RULES; REWRITING SYSTEMS; SPRINGER (CO);

MATHEMATICAL MODELS;

EID: 45849121405     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-007-1037-5     Document Type: Article

References (24)

1. Mehrabi M, Ulsoy AG, Koren Y (1998) Reconfigurable manufacturing systems: Key to future manufacturing. In: Proceedings of the 1998 Japan-USA symposium on flexible automation, pp 677-682
2. Koren Y, Heisel U, Jovane E, Moriwaki T, Pritschow G, Ulsoy AG, Van Brussel H (1999) Reconfigurable manufacturing systems. CIRP Annals - Manufacturing Technology 48(2):527-540
3. Kochhar JS, Heragu SS (1999) Facility layout design in a changing environment. International Journal of Production Research 37:2429-2446
4. Li J, Dai X, Meng Z (2006) Improved net rewriting systems for rapid model synthesis of reconfigurable manufacturing systems. Report, School of Automation, Southeast University, China
5. Zhou MC, DiCesare F (1992) A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Trans Robot Autom 8:350-361
6. Park E, Tilbury DM, Khargonekar PP (2001) A modeling and analysis methodology for modular logic controllers of machining systems using Petri nets formalism. IEEE Trans Syst Man Cybern C Appl Rev 31(2):168-186
7. Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete-event processes. SIAM J Contr Optim 25(1):206-230
8. Wonham WM, Ramadge PJ (1987) On the supremal controllable sublanguage of a given language. SIAM J Contr Optim 25 (3):637-659
9. Dumitrache L, Caramihai SI, Stanescu AM (2000) Intelligent agent-based control systems in manufacturing. In: Proc. 15th IEEE International Symposium on Intelligent Control, pp 369-374
10. Park J, Kim J (2000) A generic event control framework for modular flexible manufacturing systems. Comput Ind Eng 38:107-123
11. Ohashi K, Shin KG (2001) Model-based control for reconfigurable manufacturing systems. In: Proc. 2001 IEEE Int Conf Robot Autom, pp 554-558
12. Fletcher M, Brennan RW, Norrie DH (2003) Modeling and reconfiguring intelligent holonic manufacturing systems with Internet-based mobile agents. J Intell Manuf 14:7-23
13. Shah SS, Endsley EW, Lucas MR, Tilbury DM (2002) Reconfigurable logic control using modular FSMs: design, verification, implementation, and integrated error handling. In: Proc Am Contr Conf, pp 4153-4158
14. Kalita D, Khargonekar PP (2002) Formal verification for analysis and design of logic controllers for reconfigurable machining systems. IEEE Trans Robot Autom 18(4):463-473
15. Jiang Z, Zou MJ, Tu PY, Fung RYK (1999) Object-oriented Petri nets with changeable structure (OPN-CS) for production systems modeling. Int J Adv Manuf Tech 15:445-458
16. Liu J, Darabi H (2004) Control reconfiguration of discrete event systems controllers with partial observation. IEEE Trans Syst Man Cybern B Cybern 34(6):2262-2272
17. Chandra V, Bhattacharyya S (2005) Adaptive supervisory control of hybrid systems having discrete event abstractions. In: Proc. ISA EXPO 2005 Technical Conf., pp 1018-1029
18. Li J, Dai X, Meng Z (2005) Improved net rewriting systems-based rapid reconfiguration of Petri net logic controllers. In: Proceedings of the 31st Annual Conference of the IEEE Industrial Electronics Society, pp 2284-2289
19. Li J, Dai X, Xu L, Meng Z (2006) Improved net rewriting systems. Report, School of Automation, Southeast University, China
20. Badouel E, Llorens M, Oliver J (1999) Modelling concurrent systems: reconfigurable nets. In: Proc. Int. Conf. on Parallel and Distributed Processing Techniquesand Applications, pp 11-17
21. Llorens M, Oliver J (2004) Structural and dynamic changes in concurrent systems: Reconfigurable Petri nets. IEEE Trans Comput 53(9):1147-1158
22. Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall Inc., Englewood Cliffs, New Jersey
23. Murata T (1989) Petri nets: Properties, analysis and applications. Proc IEEE 77(4):541-580
24. Zhou MC, DiCesare F (1991) Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources. IEEE Trans Robot Autom 7:515-527