Skip to main content

Relationship between Petri Nets and Cellular Automata for the Analysis of Flexible Manufacturing Systems

  • Conference paper
Advances in Computational Intelligence (MICAI 2012)

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

Included in the following conference series:

Abstract

In this paper an association between Petri nets (PN) and cellular automata (CA) is proposed to analyze the global dynamics of flexible manufacturing systems (FMS). This relation is carried out taking into account the discreteness in the dynamics of both PN and CA. In particular, generalized PN as well as one-dimensional CA are used. The work consists in modeling with PN both a single process with a shared resource and two parallel processes with several shared resources. The PN models are simplified by reduction rules and then the corresponding one-dimensional CA is obtained. Finally, the global dynamics of the FMS modeled is described by using the analysis methods of CA.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

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. David, R., Alla, H.: Petri Nets for Modeling of Dynamic Systems–A survey. Automatica 30, 175–202 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  2. D’Souza, K.A., Khator, S.: A Survey of Petri Net Applications in Modeling Controls for Automated Manufacturing Systems. Computers in Industry 24, 5–16 (1994)

    Article  Google Scholar 

  3. Ezpeleta, J., Colom, J., Martínez, J.: A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems. IEEE Transactions on Robotics and Automation 11, 173–184 (2002)

    Article  Google Scholar 

  4. Gronewold, A., Sonnenschein, M.: Asynchronous Layered Cellular Automata for the Structured Modelling of Ecological Systems. In: Hahn, W., Lehmann, A. (eds.) 9th European Simulation Symposium (ESS 1997), pp. 286–290 (1997)

    Google Scholar 

  5. Gronewold, A., Sonnenschein, M.: Event-Based Modelling of Ecological Systems with Asynchronous Cellular Automata. Ecological Modelling 108, 37–52 (1998)

    Article  Google Scholar 

  6. Kari, J.: Representation of Reversible Cellular Automata with Block Permutations. Mathematical Systems Theory 29, 47–61 (1996)

    MathSciNet  MATH  Google Scholar 

  7. Kari, J.: Theory of Cellular Automata: A Survey. Theoretical Computer Science 334, 3–33 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  8. McIntosh, H.V.: NXLCAU software, http://delta.cs.cinvestav.mx/~mcintosh/cellularautomata/Welcome.html

  9. McIntosh, H.V.: Linear Cellular Automata Via de Bruijn Diagrams, http://delta.cs.cinvestav.mx/~mcintosh/comun/cf/debruijn.pdf

  10. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of IEEE 77, 541–580 (1989)

    Article  Google Scholar 

  11. Penttinen, O.: Modelling and Analysis of Self-timed Cellular Automata Using High-Level Petri Nets. In: Proc. of Workshop on Token based computing (ToBaCo), Satellite Event of the 25-th International Conference on Application and Theory of Petri Nets (2004)

    Google Scholar 

  12. Peterson, J.L.: Petri Nets. Computing Surveys 9, 223–252 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  13. Recalde, L., Silva, M., Ezpeleta, J., Teruel, E.: Petri Nets and Manufacturing Systems: An Examples-Driven Tour. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 742–788. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Schaller, M., Svozil, K.: Scale-Invariant Cellular Automata and Self-similar Petri Nets. The European Physical Journal B 69, 297–311 (2009)

    Article  Google Scholar 

  15. Seck-Tuoh, J.C.: Matrix Methods and Local Properties of Reversible One-Dimensional Cellular Automata. J. Phys. A: Math. Gen. 35, 5563–5573 (2002)

    Article  MATH  Google Scholar 

  16. Shen, H., Chau, H., Wong, K.: An Extended Cellular Automaton Model for Flexible Manufacturing Systems. The International Journal of Advanced Manufacturing Technology 11, 258–266 (1996)

    Article  Google Scholar 

  17. Shen, H., Yan, W.: Modeling Autonomous Assembly Systems and FMS Using Cellular Automata. The International Journal of Advanced Manufacturing Technology 7, 333–338 (1992)

    Google Scholar 

  18. Silva, M.: Las Redes de Petri: En la Automática y la Informática. AC, Madrid (2002)

    Google Scholar 

  19. Sutner, K.: De Bruijn Graphs and Cellular Automata. Complex Systems 5, 19–30 (1991)

    MathSciNet  MATH  Google Scholar 

  20. Wolfram, S.: Statistical Mechanics of Cellular Automata. Reviews of Modern Physics 55, 601–644 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  21. Wuensche, A., Lesser, M.: The Global Dynamics of Cellular Automata. Santa Fe Institute Studies in the Sciences of Complexity. Addison-Wesley Publishing Company, USA (1992)

    Google Scholar 

  22. Zhang, W., Li, Q., Zha, X.F.: A Generic Petri Net Model for Flexible Manufacturing Systems and Its Use for FMS Control Software Testing. Int. J. Prod. Res. 38, 1109–1131 (2000)

    Article  MATH  Google Scholar 

  23. Zhou, M.-C., Venkatesh, K.: Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. World Scientific, Singapur (1999)

    Book  Google Scholar 

  24. Zurawski, R., Zhou, M.C.: Petri Nets and Industrial Applications: A Tutorial. IEEE Transactions on Industrial Electronics 41, 567–583 (1994)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barragán, I., Seck-Tuoh, J.C., Medina, J. (2013). Relationship between Petri Nets and Cellular Automata for the Analysis of Flexible Manufacturing Systems. In: Batyrshin, I., Mendoza, M.G. (eds) Advances in Computational Intelligence. MICAI 2012. Lecture Notes in Computer Science(), vol 7630. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37798-3_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-37798-3_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-37797-6

  • Online ISBN: 978-3-642-37798-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics