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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
6. References
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.
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.
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.
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.
W. Bolkart: "Petri-Netze im Einsatz", Computer Magazin 3 86, p.88–91.
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.
E. Grötsch: "Graphische Programmieroberflächen für Steurungssysteme" Automatisierungstechnische Praxis atp, 28.Jahrgang, Heft 1/1986, p.27–31.
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.
N. Komoda, K. Kera, T. Kubo: "An autonomous, decentralized control system for factory automation", Computer dec. 1984, p.73–83.
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.
T. Murata, N. Komoda, K. Matsumoto: "A Petri-net based factory automation controller for flexible and maintainable control specifications", IECON'84, p.362–366.
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.
Y. Narahari, N. Viswanadham: "On the invariants of coloured Petri nets", 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland, 1985.
Pagnoni A.: "Stochastic invariance in predicate-transition nets", 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland, 1985.
Sibertin-Blanc: "High-level Petri nets with data structure", 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland, 1985.
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.
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.
R. Valette: "Analysis of Petri nets by stepwise refinements", Journal of Computer and System Sciences, vol.18, n.1, 1979, P.35–46.
Zisman M.D.: "Use of production systems for modeling asynchronous concurrent processes", p.53–68, Academic Press Inc., ISBN 0-12-737550-3, 1978.
Author information
Authors and Affiliations
Editor information
Rights 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