Skip to main content
SpringerLink
Log in

Nets in production systems

  • Section 7 Application Of Nets
  • Conference paper
  • First Online:
Book cover Petri Nets: Applications and Relationships to Other Models of Concurrency (ACPN 1986)

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

Included in the following conference series:

Abstract

Petri Nets and related graphical models are actually being employed in indutry for the design and implementation of production system control. This lecture will present a short overview of this utilization, and the reasons why this tool is more convenient than other models for concurrency will be analysed. Then, the way Petri Nets are used in production systems will be presented: class of nets, high level nets, net interpretation, the problem of structuration, specification and analysis... Finally, some principles about direct implementations will be given.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. P. Alanche, K. Benzakour, F. Dollé, F. Gillet, P. Rodrigues, R. Valette: "PSI a Petri net based simulator for flexible manufacturing systems", Lecture Notes in Computer Science 188, 1984, p.1–14.

    Google Scholar 

  2. C. Bennami, C. Perret: "Etude des aleas dans un interpréteur Grafcet", Revue Marocaine d'Automatique, d'Informatique et de Traitement du Signal, Vol.1 n.5, juin 1985.

    Google Scholar 

  3. C. Beck, B. Krogh: "Models for simulation and discrete control of manufacturing systems", IEEE Conference on Robotics and Automation, San Francisco, april 86, p.305–310.

    Google Scholar 

  4. J.M. Bigou, M. Courvoisier, H. Demmou, C. Desclaux, J.C. Pascal, R. Valette: "A methodology of specification and implementation of distributed discrete control systems", IECON'85, San Francisco, p.231–236.

    Google Scholar 

  5. W. Bolkart: "Petri-Netze im Einsatz", Computer Magazin 3 86, p.88–91.

    Google Scholar 

  6. S.M. Cotter, A.T. Woodward: "Use Petri nets to design better programs for your PLC", University of Wales Institute of Science and Technology, 1986.

    Google Scholar 

  7. E. Grötsch: "Graphische Programmieroberflächen für Steurungssysteme" Automatisierungstechnische Praxis atp, 28.Jahrgang, Heft 1/1986, p.27–31.

    Google Scholar 

  8. M. Kamath, N. Viswanadham: "Application of Petri based models in the modelling and analysis of flexible manufacturing systems", IEEE Conference on Robotics and Automation, San Francisco, april 86, p.312–317.

    Google Scholar 

  9. N. Komoda, K. Kera, T. Kubo: "An autonomous, decentralized control system for factory automation", Computer dec. 1984, p.73–83.

    Google Scholar 

  10. J. Martinez, M. Silva: "A language for the description of concurrent systems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems", IEEE Workshop on languages for automation, New Orleans, 1984.

    Google Scholar 

  11. T. Murata, N. Komoda, K. Matsumoto: "A Petri-net based factory automation controller for flexible and maintainable control specifications", IECON'84, p.362–366.

    Google Scholar 

  12. Murata T., Komoda N., Matsumoto K., Haruna K.: "A Petri net based controller for flexible and maintainable sequence control and its applications in factory automation", IEEE trans. on Industrial Electronics, vol. IE-33, n1, feb. 1986.

    Google Scholar 

  13. Y. Narahari, N. Viswanadham: "On the invariants of coloured Petri nets", 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland, 1985.

    Google Scholar 

  14. Pagnoni A.: "Stochastic invariance in predicate-transition nets", 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland, 1985.

    Google Scholar 

  15. Sibertin-Blanc: "High-level Petri nets with data structure", 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland, 1985.

    Google Scholar 

  16. JP. Sucena Paiva, JL. Pinto de Sa, L. Barruncho: "Integrated data acquisition and automation in distribution substations", IFAC Symposium on Planning and Operation of Electic Energy Systems, Rio de Janeiro 1985.

    Google Scholar 

  17. Tashiro T., Komoda N., Tsushima I., Matsumoto K.: "Advanced software for constraint combinational control of discrete event systems — rule-based control software for factory automation", Compint 85 Computer aided technologies, Montréal, sept. 1985.

    Google Scholar 

  18. R. Valette: "Analysis of Petri nets by stepwise refinements", Journal of Computer and System Sciences, vol.18, n.1, 1979, P.35–46.

    Google Scholar 

  19. Zisman M.D.: "Use of production systems for modeling asynchronous concurrent processes", p.53–68, Academic Press Inc., ISBN 0-12-737550-3, 1978.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. L.A.A.S. / C.N.R.S., 7, Avenue du Colonel Roche, F - 31077, Toulouse Cedex

    R. Valette

Authors
  1. R. Valette
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

W. Brauer W. Reisig G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Valette, R. (1987). Nets in production systems. In: Brauer, W., Reisig, W., Rozenberg, G. (eds) Petri Nets: Applications and Relationships to Other Models of Concurrency. ACPN 1986. Lecture Notes in Computer Science, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17906-2_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-17906-2_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17906-1

  • Online ISBN: 978-3-540-47926-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation