Skip to main content
SpringerLink
Log in

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

  • Conference paper
Industrial Applications of Holonic and Multi-Agent Systems

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8062))

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 to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Serope, K., Schmid, S.: Manufacturing, Engineering & Technology, pp. 22–36, 951–988. Prentice Hall (August 2005) ISBN 0-13-148965-8

    Google Scholar 

  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)

    Article  Google Scholar 

  3. Katz, R.: Design principles of reconfigurable machines. The International Journal of Advanced Manufacturing Technology 34(5), 430–439 (2007)

    Article  Google Scholar 

  4. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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. Wang, L.C.: Object-oriented Petri nets for modeling and analysis of automated manufacturing systems. Computer Integrated Manufacturing Systems 26(2), 111–125 (1996)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  12. Lomazova, I.A.: Nested Petri Nets: Multi-level and Recursive Systems. Fundamenta Informaticae 47(3), 283–293 (2001)

    MathSciNet  MATH  Google Scholar 

  13. Asperti, A., Busi, N.: Mobile Petri Nets. Mathematical Structures in Computer Science Journal 19(6), 1265–1278 (2009)

    Article  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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 3047

    Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. 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/

Download references

Author information

Authors and Affiliations

  1. LINFI Laboratory, Computer Science Department, Biskra University, Biskra, Algeria

    Laid Kahloul

  2. LISSI Laboratory, UPEC University, Paris, France

    Karim Djouani

  3. MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2, Algeria

    Allaoua Chaoui

Authors
  1. Laid Kahloul
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Karim Djouani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Allaoua Chaoui
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Cybernetics, Czech Technical University, Technická 2, 166 27, Prague, Czech Republic

    Vladimír Mařík

  2. Department of Production Engineering, Tampere University of Technology, Korkeakoulunkatu 6, 33720, Tampere, Finland

    Jose L. Martinez Lastra

  3. Smart Solutions Ltd., Moscowskoe shosse 17, 443013, Samara, Russia

    Petr Skobelev

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation