Dynamic reconfiguration of Petri net logic controllers based on modified net rewriting systems

IEEE International Conference on Mechatronics and Automation, ICMA 2005

Volumn , Issue , 2005, Pages 562-567

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

^a SOUTHEAST UNIVERSITY   (China)

Author keywords

Control reconfiguration; Logic controllers; Net rewriting systems; Petri nets; Reconfigurable manufacturing systems

Indexed keywords

ALGORITHMS; FORMAL LOGIC; PETRI NETS;

CONTROL CONFIGURATION; LOGIC CONTROLLERS; NET REWRITING SYSTEMS; RECONFIGURABLE MANUFACTURING SYSTEMS (RMS);

CONTROL EQUIPMENT;

EID: 27744561731     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Y. Koren, U. Heisel, E. Jovane, T. Moriwaki, G. Pritsohow, G. Ulsoy, H. Van Brussel, "Reconfigurable Manufacturing Systems," CRIP Annals- Manufacturing Technology, vol. 48, no. 2, pp. 527-540, 1999.
2. 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., vol. 31, no. 2, pp. 168-186, 2001.
3. S.S. Shah,E.W. Endsley, M.R. Lucas, D.M. Tilbury, "Reconfigurable logic control using modular FSMs: design, verification, implementation, and integrated error handling," in Proc. ACC, vol.5, pp. 4153-4158, May 2002.
4. D. Kalita, 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.
5. Z. Jiang, M.J. Zuo, 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.
6. J. Liu, 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.
7. M.C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system," IFAC J. Automatica, vol. 28, no. 6, pp. 1199-1208, 1992.
8. M.C. Zhou, F. DiCesare, and A.A. Desrochers, "A hybrid methodology for synthesis of Petri net models for manufacturing systems," IEEE Trans. Robot. Automat., vol. 8, no. 3, pp. 350-361, 1992.
9. th IFAC Symp. Computer-Aided Design in Control Systems, Swansea, U.K., July 1991.
10. T. Murata, N. Komoda, K. Matsumoto, and K. Haruna, "A Petri net-based controller for flexible and maintainable sequenxe control and its applications in factory automation," IEEE Trans. Ind. Electron., vol. IE-33, pp. 1-8, 1986.
11. E. Badouel, M. Llorens, and J. Oliver, "Modelling concurrent systems: reconfigurable nets," in Proc. Parallel and Distributed Processing Techniques and Applications, pp. 11-17, 1999.
12. M. Llorens, and J. Oliver, "Structural and dynamic changes in concurrent systems: reconfigurable Petri nets," IEEE Trans. Comput., vol. 53, no. 9, 2004.
13. T. Murata, "Petri nets: properties, analysis and applications," Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
14. J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice, Inc., Englewood Cliffs, NJ, 1981.
15. I. Suzuki, T. Murata, "A method for stepwise refinements and abstractions of Petri nets, " J. Comput. Syst. Sci., vol. 27, pp.51-76, 1983.
16. R. Valette, "Analysis of Petri nets by stepwise refinements," J. Comput. Syst. Sci., vol. 18, pp.35-46, 1979.
17. st ed. London, U.K.: Champman &Hall, 1993.
18. J. Li, X. Dai, Z. Meng, "Analysis and design of reconfigurable logic controllers based on signal interpreted Petri nets," J. Southeast University (Natural Science Edition), vol. 34, pp. 101-107, 2004. (in Chinese)