Abstract
This work aims at presenting a method for rapidly reconfiguring Petri net (PN) models of reconfigurable manufacturing systems (RMS). We start with introducing the model of improved net rewriting systems (INRS), which supports dynamic structural changes in a PN model without losing its important behavioral properties, i.e., liveness, boundedness (or safeness), and reversibility. Based on INRS, the method for rapid reconfiguration of Petri net models for RMS is proposed and an implementation algorithm is designed as well. In our method, changes in a RMS configuration adjusted with production demands can be rapidly formalized into graph rewriting rules of an INRS called model reconfigurator whose underlying Petri net is the existing Petri net model. Subsequently, by applying these rewriting rules, the existing Petri net model can be reconfigured rapidly into a new one for the RMS with a new configuration. Validity of the resulting Petri net model can be guaranteed naturally throughout the whole reconfiguration process and thereby there is no need for verification. A case study is provided that demonstrates the reconfiguration process of a Petri net model for a reconfigurable manufacturing cell. The given case study shows that the proposed method is capable for reconfiguring PN models of RMS in a rapid and successive manner, without requiring verification.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
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
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
Kochhar JS, Heragu SS (1999) Facility layout design in a changing environment. International Journal of Production Research 37:2429–2446
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
Zhou MC, DiCesare F (1992) A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Trans Robot Autom 8:350–361
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
Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete-event processes. SIAM J Contr Optim 25(1):206–230
Wonham WM, Ramadge PJ (1987) On the supremal controllable sublanguage of a given language. SIAM J Contr Optim 25 (3):637–659
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
Park J, Kim J (2000) A generic event control framework for modular flexible manufacturing systems. Comput Ind Eng 38:107–123
Ohashi K, Shin KG (2001) Model-based control for reconfigurable manufacturing systems. In: Proc. 2001 IEEE Int Conf Robot Autom, pp 554–558
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
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
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
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
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
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
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
Li J, Dai X, Xu L, Meng Z (2006) Improved net rewriting systems. Report, School of Automation, Southeast University, China
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
Llorens M, Oliver J (2004) Structural and dynamic changes in concurrent systems: Reconfigurable Petri nets. IEEE Trans Comput 53(9):1147–1158
Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall Inc., Englewood Cliffs, New Jersey
Murata T (1989) Petri nets: Properties, analysis and applications. Proc IEEE 77(4):541–580
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
Author information
Authors and Affiliations
Corresponding author
Additional information
An erratum to this article can be found at http://dx.doi.org/10.1007/s00170-007-1358-4
Rights and permissions
About this article
Cite this article
Li, J., Dai, X. & Meng, Z. Improved net rewriting system-based approach to model reconfiguration of reconfigurable manufacturing systems. Int J Adv Manuf Technol 37, 1168–1189 (2008). https://doi.org/10.1007/s00170-007-1037-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00170-007-1037-5