Improved net rewriting systems-based rapid reconfiguration of Petri net logic controllers

This paper proposes an approach to rapid reconfiguration of Petri net (PN) logic controllers for reconfigurable manufacturing systems (RMS). Above all, we present improved net rewriting systems (INRS) that overcome the limitation of net rewriting systems (NRS) by modifying the transfer relation and prescribing the kinds of the left and right hand sides in a rewriting rule of them. Based on INRS, the method for rapid reconfiguration of a PN logic controller is developed, which can preserve the correctness of the original one during reconfiguring. Thus for a new configuration of a given RMS, only the rewriting of the existing PN logic controller is needed and the efforts of redesign and re-verification of a new one are avoided. Eventually, a RMS example is used to demonstrate our method presented.

[1]  Jing Liu,et al.  Control reconfiguration of discrete event systems controllers with partial observation , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[2]  Zhibin Jiang,et al.  Object-Oriented Petri Nets with Changeable Structure (OPNs-CS) for Production System Modelling , 1999 .

[3]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[4]  Marisa Llorens,et al.  Structural and dynamic changes in concurrent systems: reconfigurable Petri nets , 2004, IEEE Transactions on Computers.

[5]  A. Malo,et al.  Identification in discrete event systems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[6]  Frank DiCesare,et al.  Modeling, Control, and Performance Analysis of Automated Manufacturing Systems Using Petri Nets , 1991 .

[7]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[8]  Pramod P. Khargonekar,et al.  A modeling and analysis methodology for modular logic controllers of machining systems using Petri net formalism , 2001, IEEE Trans. Syst. Man Cybern. Syst..

[9]  Ichiro Suzuki,et al.  A Method for Stepwise Refinement and Abstraction of Petri Nets , 1983, J. Comput. Syst. Sci..

[10]  Pramod P. Khargonekar,et al.  Formal verification for analysis and design of logic controllers for reconfigurable machining systems , 2002, IEEE Trans. Robotics Autom..

[11]  Yoram Koren,et al.  Reconfigurable Manufacturing Systems , 2003 .

[12]  Pramod P. Khargonekar,et al.  A Modeling and Analysis Methodology for Modular Logic Controllers of Machining Systems Using Petri , 2001 .

[13]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[14]  Antonio Ramírez-Treviño,et al.  Identification in discrete event systems , 1998, SMC.

[15]  F. Jovane,et al.  Reconfigurable Manufacturing Systems , 1999 .

[16]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[17]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[18]  Dawn M. Tilbury,et al.  Reconfigurable logic control using modular FSMs: Design, verification, implementation, and integrated error handling , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).