Skip to main content
SpringerLink
Log in

A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1998 (ICATPN 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1420))

Included in the following conference series:

Abstract

This paper is devoted to the synthesis of “well behaved” (live) nets. The work focuses on the synthesis of a subclass of nets that appear in the modeling of a wide set of flexible manufacturing systems (FMS). Basically, these nets are composed of a set of sequential processes that share a set of common resources (with some constraints in their use). Among the set of problems related to FMS, we are going to concentrate on deadlocks. In this paper, we show that for the systems under consideration it is possible to know, from a structural point of view, if a deadlock is reachable. We also show that this knowledge can be obtained in linear time (with respect to the size of the PN model). The result can be used in order to have a quick answer to whether a given configuration is correct or not, to study if such a configuration exists or not and to conclude if some deadlock control policy is needed.

This work has been partially supported by the Spanish research project CICYT TAP 95-0574

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. Z. Banaszak, B. Krogh, Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Competing Process Flows, IEEE Transactions on Robotics and Automation, Vol. 6, No. 6, December 1990, pp. 724–734.

    Article  Google Scholar 

  2. E. Best, P.S. Thiagarajan, Some Classes of Live and Safe Petri Nets, Concurrency and Nets, K. Voss, H.J. Genrich, G. Rozenberg (Eds.), Advances in Petri NEts, Springer-Verlag, 1987, pp. 71–94

    Google Scholar 

  3. D.Y. Chao, M. Zhou, D.T. Wang, Extending Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems, Proceedings of the 3th. International Conference on Computer Integrated Manufacturing, Rensselaer Polytechnic Institute, Troy (New York), 1992, pp. 56–63.

    Chapter  Google Scholar 

  4. E.G. Coffman, M.J. Elphick, A. Shoshani, System Deadlocks, ACM Computer Surveys, Vol. 3, No. 2, 1971, pp. 67–78.

    Article  MATH  Google Scholar 

  5. T.H. Cormen, C.E. Leiserson, R.L. Rivest, Introduction to Algorithms, The MIT Press/MacGraw-Hill Book Company, 1992.

    Google Scholar 

  6. J.M. Colom, M. Silva, Improving the linearly based characterization of P/T nets, G. Rozenberg Editor, Advances in Petri Nets 1990, LNCS 483, Springer Verlag 1991, pp. 113–145.

    Google Scholar 

  7. A.A. Desrochers and R.Y. Al-Jaar, Application of Petri Nets in Manufacturing Systems: Modeling, Control and Performance Analysis, IEEE Press, 1995

    Google Scholar 

  8. F. Dicesare, G. Harhalakis, J.M. Proth, M. Silva, Practice of Petri Nets in Manufacturing, Chapman & Hall, 1993.

    Google Scholar 

  9. E.W. Dijsktra, Co-operating Sequential Processes, Programming Languages, F. Genuys (Ed.), Academic Press, 1965.

    Google Scholar 

  10. J. Esparza, M. Silva, Compositional Synthesis of Live and Bounded Free Choice Nets, CONCUR’91, LNCS vol.527, Springer-Verlag 1991.

    Google Scholar 

  11. J. Ezpeleta, J.M. Colom, J. Martínez, A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems, IEEE Transactions on Robotics and Automation, Vol. 11, No. 2, April 1995, pp. 173–184.

    Article  Google Scholar 

  12. J. Ezpeleta, Analysis and Synthesis of Deadlock Free Models for Concurrent Systems, Ph. D. thesis, Dpt. de Ingenierá Eléctrica e Informática, University of Zaragoza (Spain), June 1993 (in Spanish).

    Google Scholar 

  13. M.H.T. Hack, Analysis of Production Schemata by Petri Nets, Cambridge, Maa.: MIT, Dept. of Electrical Engineering, M.S. Thesis, 1972

    Google Scholar 

  14. F. Hsieh, S. Chang, Dispatching-Driven Deadlock Avoidance Controller Synthesis for Flexible Manufacturing Systems, IEEE Transactions on Robotics and Automation, Vol. 10, No. 2, April 1994, pp. 196–209.

    Article  Google Scholar 

  15. M.D. Jeng, F. DiCesare, Synthesis Using Resource Control Nets for Modeling Shared-Resource Systems, IEEE Transactions on Robotics and Automation, Vol. 11, N. 3, June 1995, pp. 317–327

    Article  Google Scholar 

  16. J.M. Proth and X. Xie, Petri Nets. A Tool for Design and Management of Manufaturing Systems, John Wiley & Sons, 1996

    Google Scholar 

  17. M. Singhal, Deadlock Detection in Distributed Systems, COMPUTER, IEEE, November 1989, pp. 37–48.

    Google Scholar 

  18. M. Silva, R. Valette, Petri Nets and Flexible Manufacturing, Advances in Petri Nets, LNCS 424, Springer-Verlag, 1989, pp. 374–417.

    Google Scholar 

  19. A.S. Tanenbaum, Operating Systems. Design and Implementation, Prentice-Hall International Editions, 1987.

    Google Scholar 

  20. N. Viswanadham, Y. Narahari, Performance Modeling of Automated Manufacturing Systems, Prentice-Hall, 1992.

    Google Scholar 

  21. N. Viswanadham, Y. Narahari, T. Johnson, Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models, IEEE Transactions on Robotics and Automation, Vol. 6, No. 6, December, 1990, pp. 713–723.

    Article  Google Scholar 

  22. W. Vogler, Behavior Preserving Refinements of Petri Nets, Graph Theoretic Concepts in Computer Science, LNCS, N. 246, Springer Verlag, 1986, pp. 82–93.

    Google Scholar 

  23. R.A. Wysk, N.S. Yang, S. Joshi, Detection of Deadlocks in Flexible Manufacturing Cells, IEEE Transactions on Robotics and Automation, Vol. 7, No. 6, December 1991, pp. 853–859.

    Article  Google Scholar 

  24. K.Y. Xing, B.S. Hu, H.X. Chen, Deadlock Avoidance Policy for Petri-net Modeling of Flexible Manufacturing Systems with Shared Resources, IEEE Transactions on Automatic Control, Vol. 41, No. 2, February 1996, pp. 289–295.

    Article  MATH  MathSciNet  Google Scholar 

  25. M. Zhou, F. Dicesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers, 1993.

    Google Scholar 

  26. M. Zhou, K. McDermott, P. Patel, Petri Net Synthesis and Analysis of a Flexible Manufacturing System Cell, IEEE Transactions on Systems, Man and Cybernetics, Vol. 23, No. 2, March 1993, pp. 523–531.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Informática e Ingeniería de Sistemas, Centro Politécnico Superior de Ingenieros, María de Luna 3, 50015, Zaragoza, Spain

    J. Ezpeleta, F. García-Vallés & J. M. Colom

Authors
  1. J. Ezpeleta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. García-Vallés
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. M. Colom
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut AIFB, University of Karlsruhe, D-76128, Karlsruhe, Germany

    Jörg Desel

  2. Departamento de Informatica a Ingenieria de Sistemas Centro Politecnico Superior, Universidad de Zaragoza, c/ Maria de Luna, 3, E-50015, Zaragoza, Spain

    Manuel Silva

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ezpeleta, J., García-Vallés, F., Colom, J.M. (1998). A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. In: Desel, J., Silva, M. (eds) Application and Theory of Petri Nets 1998. ICATPN 1998. Lecture Notes in Computer Science, vol 1420. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69108-1_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-69108-1_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64677-8

  • Online ISBN: 978-3-540-69108-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation