Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach

  • Laid Kahloul
  • Karim Djouani
  • Allaoua Chaoui
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8062)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Serope, K., Schmid, S.: Manufacturing, Engineering & Technology, pp. 22–36, 951–988. Prentice Hall (August 2005) ISBN 0-13-148965-8Google Scholar
  2. 2.
    Mehrabi, M.G., Ulsoy, A.G., Koren, Y.: Reconfigurable manufacturing systems: key to future manufacturing. Journal of Intelligent Manufacturing 11(4), 403–419 (2000)CrossRefGoogle Scholar
  3. 3.
    Katz, R.: Design principles of reconfigurable machines. The International Journal of Advanced Manufacturing Technology 34(5), 430–439 (2007)CrossRefGoogle Scholar
  4. 4.
    Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Wang, L.C.: Object-oriented Petri nets for modeling and analysis of automated manufacturing systems. Computer Integrated Manufacturing Systems 26(2), 111–125 (1996)CrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    Lomazova, I.A.: Nested Petri Nets: Multi-level and Recursive Systems. Fundamenta Informaticae 47(3), 283–293 (2001)MathSciNetzbMATHGoogle Scholar
  13. 13.
    Asperti, A., Busi, N.: Mobile Petri Nets. Mathematical Structures in Computer Science Journal 19(6), 1265–1278 (2009)MathSciNetCrossRefGoogle Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    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)CrossRefGoogle Scholar
  18. 18.
    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 3047Google Scholar
  19. 19.
    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)CrossRefGoogle Scholar
  20. 20.
    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)CrossRefGoogle Scholar
  21. 21.
    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)CrossRefGoogle Scholar
  22. 22.
    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)Google Scholar
  23. 23.
    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)Google Scholar
  24. 24.
    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),

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Laid Kahloul
    • 1
  • Karim Djouani
    • 2
  • Allaoua Chaoui
    • 3
  1. 1.LINFI Laboratory, Computer Science DepartmentBiskra UniversityBiskraAlgeria
  2. 2.LISSI LaboratoryUPEC UniversityParisFrance
  3. 3.MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTICUniversity Constantine 2Algeria

Personalised recommendations