Abstract
A Reconfigurable Manufacturing System (RMS) has the ability to adapt itself for new requirements and to handle accidental damages. This reconfiguration makes the system more efficient, thus, enhances its productivity. However, the development process of these systems and their reliability remain a big challenge. Formal methods are considered as one issue for designing theses systems and analysing their properties. The objective of this paper is to apply Petri Nets based methods in the modelling and simulation of RMS. In particular, RONs (Reconfigurable Object Nets) are used as a high level Petri Nets to catch the reconfigurability aspect in RMSs. This exploitation allows the developer to simulate, and verify formally the correctness and reliability of the RMSs.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Serope, K., Schmid, S.: Manufacturing, Engineering & Technology, pp. 22–36, 951–988. Prentice Hall (August 2005) ISBN 0-13-148965-8
Mehrabi, M.G., Ulsoy, A.G., Koren, Y.: Reconfigurable manufacturing systems: key to future manufacturing. Journal of Intelligent Manufacturing 11(4), 403–419 (2000)
Katz, R.: Design principles of reconfigurable machines. The International Journal of Advanced Manufacturing Technology 34(5), 430–439 (2007)
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Valette, R., Cardoso, J., Dubois, D.: Monitoring manufacturing systems by means of Petri nets with imprecise markings. In: IEEE International Symposium on Intelligent Control, September 25-26, pp. 233–238 (1989)
Zhou, M.C., Mcdermott, K., Patel, P.A.: Petri net synthesis and analysis of a flexible manufacturing system cell. IEEE Transactions on Systems, Man, and Cybernetics 23(2), 523–531 (1993)
Cheng, C.W., Sun, T.H., Fu, L.C.: Petri-net based modeling and scheduling of a flexible manufacturing system. In: IEEE International Conference on Robotics and Automation, pp. 513–518 (1994)
Wang, L.C.: Object-oriented Petri nets for modeling and analysis of automated manufacturing systems. Computer Integrated Manufacturing Systems 26(2), 111–125 (1996)
Valk, R.: Self-modifying nets, a natural extension of petri nets. In: Ausiello, G., Böhm, C. (eds.) ICALP 1978. LNCS, vol. 62, pp. 464–476. Springer, Heidelberg (1978)
Badouel, E., Oliver, J.: Reconfigurable nets: a class of high level petri nets supporting dynamic changes with workflow systems. Research Report Publication 1163, Irisa (Institut de Recherche en Informatique et Systmes Aleatoires) (1998)
Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)
Lomazova, I.A.: Nested Petri Nets: Multi-level and Recursive Systems. Fundamenta Informaticae 47(3), 283–293 (2001)
Asperti, A., Busi, N.: Mobile Petri Nets. Mathematical Structures in Computer Science Journal 19(6), 1265–1278 (2009)
Hoffmann, K., Ehrig, H., Mossakowski, T.: High-Level Nets with Nets and Rules as Tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 268–288. Springer, Heidelberg (2005)
Ehrig, H., Padberg, J.: Graph Grammars and Petri Net Transformations. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 496–536. Springer, Heidelberg (2004)
Biermann, E., Ermel, C., Hermann, F., Modica, T.: A Visual Editor for Reconfigurable Object Nets based on the E CLIPSE Graphical Editor Framework. In: Proc. 14th Workshop on Algorithms and Tools for Petri Nets (AWPN 2007). GI Special Interest Group on Petri Nets and Related System Models, vol. 10 (2007)
Julia, S., de Oliveira, F.F., Valette, R.: Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources. Simulation Modelling Practice and Theory 16(4), 462–482 (2008)
Zhang, L.L., Rodrigues, B.: A Petri Net-based Approach to Reconfigurable Manufacturing Systems Modeling. Research Collection Lee Kong Chian School of Business (Open Access), Paper 3047
Meng, X.: Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets. Journal of Manufacturing Systems 29(2-3), 81–90 (2010)
de Aguiar, C., José, A., Villani, E., Junqueira, F.: Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry. Robotics and Computer-Integrated Manufacturing 27(5), 929–941 (2011)
Li, J., Dai, X., Meng, Z., Dou, J., Guan, X.: Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams. Computers & Industrial Engineering 57(4), 1431–1451 (2009)
Wu, N., Zhou, M.: Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes. Transactions of the Institute of Measurement and Control 33(1), 9–29 (2009)
Lejri, O., Tagina, M.: Hybrid Reconfigurable Petri Nets for modelling Hybrid Reconfigurable Manufacturing Systems. Journal of Studies on Manufacturing 1(2-3), 75–84 (2011)
Biermann, E., Modica, T.: Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets. In: Electronic Communications of the EASST Seventh International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 10 (2008), http://www.easst.org/eceasst/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kahloul, L., Djouani, K., Chaoui, A. (2013). Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach. In: Mařík, V., Lastra, J.L.M., Skobelev, P. (eds) Industrial Applications of Holonic and Multi-Agent Systems. Lecture Notes in Computer Science(), vol 8062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40090-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-40090-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40089-6
Online ISBN: 978-3-642-40090-2
eBook Packages: Computer ScienceComputer Science (R0)