Automatic reconfiguration of petri net controllers for reconfigurable manufacturing systems with an improved net rewriting system-based approach

IEEE Transactions on Automation Science and Engineering

Volumn 6, Issue 1, 2009, Pages 156-167

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

^a SOUTHEAST UNIVERSITY   (China)

Author keywords

Petri nets (PNs); Reconfigurable manufacturing systems (RMSs); Reconfiguration; Supervisory controller

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; GRAPH THEORY; INSTRUMENT SCALES; MARINE BIOLOGY; PETRI NETS; SCADA SYSTEMS;

AUTOMATIC RECONFIGURATIONS; BEHAVIORAL PROPERTIES; CHALLENGING PROBLEMS; MANUFACTURING SYSTEMS; NET REWRITING SYSTEMS; PETRI NET; PETRI NET CONTROLLERS; PN CONTROLLERS; RE-CONFIGURATIONS; RECONFIGURABLE; RECONFIGURABLE MANUFACTURING; RECONFIGURABLE MANUFACTURING SYSTEMS (RMSS); RECONFIGURATION; SUPERVISORY CONTROLLER;

MANUFACTURE;

EID: 58149519232     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2008.2006857     Document Type: Article

References (16)

1. Y. Koren, U. Heisel, F. Jovane, T. Moriwaki, G. Pritchow, and H. Van Brussel et at., "Reconfigurable manufacturing systems," CIRP Ann., vol. 48, no. 2, pp. 527-540, 1999.
2. M. G. Mehrabi, A. G. Ulsoy, and Y. Koren, "Reconfigurable manufacturing systems: Key to future manufacturing." in Proc. Jpn. Symp. Flexible Automation, Otsu, Japan, Jul. 1998, pp. 677-692.
3. L. Dumitrache, S. I. Caramihai, and A. M. Stanescu, "Intelligent agent-based control systems in manufacturing," in Proc. 15th IEEE Int. Symp. Intell. Control, Rio, Patras, Greece, Jul. 2000, pp. 369-374.
4. J. Park, J. Park, and J. Kim, "A generic event control framework for modular flexible manufacturing systems," Comput. Ind. Eng., vol. 38, pp. 107-123, 2000.
5. K. Ohashi and K. G. Shin, "Model-based control for reconfigurable manufacturing systems," in Proc. 2001 IEEE Int. Conf. Robot. Autom., Seoul, Korea, May 2001, pp. 554-558.
6. E. Park, D. M. Tilbury, and P. P. Khargonekar, "A modeling and analysis methodology for modular logic controllers of machining systems using Petri nets formalism," IEEE Trans. Syst., Man, Cybern-Part C: Appl. Rev., vol. 31, no. 2, pp. 168-186, 2001.
7. S. S. Shah. E. W. Endsley, M. R. Lucas, and D. M. Tilbury, "Reconfigurable logic control using modular FSMs: Design, verification, implementation, and integrated error handling," in Proc. Amer. Control Conf. 2002. Anchorage, AK, May 2002, pp. 4153-4158.
8. D. Kalita and P. P. Khargonekar, "Formal verification for analysis and design of logic controllers for reconfigurable machining systems," IEEE Trans. Robot. Automat., vol. 18, no. 4, pp. 463-473. 2002.
9. Z. Jiang, M. J. Zou, P. Y. Tu, and R. Y. K. Fung, "Object-oriented Petri nets with changeable structure (OPN-CS) for production systems modeling," Int. J. Adv. Manuf. Technol., vol. 15, pp. 445-458, 1999.
10. J. Liu and H. Darabi, "Control reconfiguration of discrete event systems controllers with partial observation," IEEE Trans. Syst., Man, Cybern.-Part B: Cybern., vol. 34, no. 6, pp. 2262-2272, 2004.
11. V. Chandra and S. Bhattacharyya, "Adaptive supervisory control of hybrid systems having discrete event abstractions," in Proc. ISA EXPO 2005 Tech. Conf., Chicago, IL, Oct. 2005, vol. 459, pp. 1018-1029.
12. M. Llorens and J. Oliver, "Structural and dynamic changes in concurrent systems: Reconfigurable Petri nets," IEEE Trans. Comput., vol. 53, no. 9, pp. 1147-1158, 2004.
13. E. Badouel, M. Llorens, and J. Oliver, "Modelling concurrent systems: Reconfigurable nets," in Proc. Parallel Distrib. Process. Tech. Appl., 1999, pp. 11-17.
14. J. Li, X. Dai, and Z. Meng, "Dynamic reconfiguration of Petri net logic conteollers based on modified net rewriting systems," in Proc. IEEE Int. Conf. Mediation. Autom., Ontario, Canada, 2005, pp. 562-567.
15. J. Li, X. Dai, and Z. Meng, "Improved net rewriting systems-based rapid reconfiguration of Petri net logic controllers," in Proc. 31st Annu. Conf. IEEE Ind. Election. Soc., Raleigh, NC, 2005, pp. 2284-2289.
16. J. Li, "Research on automatic reconfiguration of Petri net controllers for reconfigurable manufacturing systems," Ph.D. dissertation, School of Automation, Southeast Univ., Nanjing, China, 2007.