Advertisement

Nets in production systems

  • R. Valette
Section 7 Application Of Nets
Part of the Lecture Notes in Computer Science book series (LNCS, volume 255)

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.

Key words

Petri nets Grafcet Discrete event simulation Programmable Logic Controller Computer Integrated Manufacturing 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. AL 84.
    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. BE 85.
    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. BE 86.
    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. BI 85.
    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. BO 86.
    W. Bolkart: "Petri-Netze im Einsatz", Computer Magazin 3 86, p.88–91.Google Scholar
  6. CO 86.
    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. GR 86.
    E. Grötsch: "Graphische Programmieroberflächen für Steurungssysteme" Automatisierungstechnische Praxis atp, 28.Jahrgang, Heft 1/1986, p.27–31.Google Scholar
  8. KA 86.
    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. KO 84.
    N. Komoda, K. Kera, T. Kubo: "An autonomous, decentralized control system for factory automation", Computer dec. 1984, p.73–83.Google Scholar
  10. MA 84.
    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. MU 84.
    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. MU 86.
    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. NA 85.
    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. PA 85.
    Pagnoni A.: "Stochastic invariance in predicate-transition nets", 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland, 1985.Google Scholar
  15. SI 85.
    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. SU 85.
    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. TA 85.
    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. VA 79.
    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. ZI 78.
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • R. Valette
    • 1
  1. 1.L.A.A.S. / C.N.R.S.Toulouse Cedex

Personalised recommendations