Hierarchical Petri net modelling of reconfigurable manufacturing systems with improved net rewriting systems

This paper presents an improved net rewriting system (INRS)-based method for constructing a class of modular and reconfigurable Petri net (PN) models intended for supervisory control of reconfigurable manufacturing systems (RMS). First of all, the INRS is introduced that can implement dynamical adjustments to the structure of a PN model and maintain its important behavioural properties. Subsequently, the formalisms of graph and set are incorporated to provide a formal representation of a RMS configuration. According to the hierarchy of RMS configuration, hierarchical design of PN models with an INRS approach is proposed. Using the proposed method, a modular PN model can be obtained. Such a PN model is not only reconfigurable but also valid, i.e. live, bounded (or safe), and reversible. A reconfigurable manufacturing cell serves as an example to illustrate the main principles and procedures of PN model design, applying the presented method.

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

[2]  Luca Ferrarini,et al.  An incremental approach to logic controller design with Petri nets , 1992, IEEE Trans. Syst. Man Cybern..

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

[4]  Jie Zhang,et al.  Modelling for agile manufacturing systems , 2001 .

[5]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[6]  Carla Seatzu,et al.  Modelling and simulation of manufacturing systems with first-order hybrid Petri nets , 2001 .

[7]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[8]  Jun Li,et al.  Improved net rewriting system-based approach to model reconfiguration of reconfigurable manufacturing systems , 2008 .

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

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

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

[12]  Xianzhong Dai,et al.  Improved net rewriting systems-based rapid reconfiguration of Petri net logic controllers , 2005, 31st Annual Conference of IEEE Industrial Electronics Society, 2005. IECON 2005..

[13]  Zhenbi Luo,et al.  A stochastic model of a reconfigurable manufacturing system Part 2: Optimal configurations , 2000 .

[14]  F. Musharavati.  RECONFIGURABLE MANUFACTURING SYSTEMS , 2010 .

[15]  Sung-Yong Son,et al.  Design principles and methodologies for reconfigurable machining systems. , 2000 .

[16]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

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

[18]  Li-Chen Fu,et al.  Modelling, control and simulation of an IC wafer fabrication system: A generalized stochastic coloured timed Petri Net approach , 2000 .

[19]  Ciro A. Rodríguez,et al.  Next-generation manufacturing systems: key research issues in developing and integrating reconfigurable and intelligent machines , 2005, Int. J. Comput. Integr. Manuf..

[20]  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..

[21]  S. Jack Hu,et al.  Selecting manufacturing system configurations based on performance using AHP , 2002 .

[22]  K. P. Valavanis,et al.  A hierarchical modeling methodology for flexible manufacturing systems using extended Petri nets , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.