Abstract
Low production cost requirements have developped a new trend to flexible production system automatization during these last years. Controllers are no longer isolated on a production machine, they are progressively interconnected with a transportation system and merged into an information system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. André, “Use of the behaviour equivalence in place-transition net analysis”, First European Workshop on Application and Theory of Petri nets, Strasbourg 1980.
C. André, “Systèmes à évolutions parallèles: modélisation par réseau de Petri à capacité et analyse par abstraction”, Thèse de Doctorat d’Etat, Université de Nice, 1981.
G. Berthelot, G. Roucairol, R. Valk, “Reduction of nets and parallel programs”, Net Theory and Applications, Lecture Notes in Computer Science N°84, Springer Verlag, 1980.
J. Boussin, “Synthesis and analysis of logic automation systems”, 7th IFAC World Congress, Helsinki, 1978.
B. Cavanna, F. Dollé, M. Moalla, “Outils C.A.O. pour l’analyse, la spécification et la réalisation de lfautomatisation d’équipements de la production mécanique”, 3ème Journées Scientifiques et Techniques de la production automatisée, Toulouse, juin 1981.
F. de Cindio, G. de Michelis, L. Pomello, C. Simone, “Superposed autòmata nets”, Second European Workshop on Application and Theory of Petri nets, Bad Honnef, 1981.
L. Dadda, “The synthesis of Petri nets for controlling purposes and reduction of their complexity”, Euromicro 1976, North-Holland.
L.H. Landweber, E.L. Robertson, “Properties of conflict-free and persistent nets”, Journal of the ACM, vol.25, n°3, july 1978, pp. 352–364.
D. Mayeux, “Modélisation de la synchronisation des tâches dans un logiciel d’aide à la décision pour l’ordonnancement d’ateliers en temps réel”, Note Interne LAAS-PASTELS 81.1.10, mars 1981.
Robin Milner, “A calculus of communicating systems”, Springer verlag, Lecture Notes in Computer Science, n°92, 1980.
I. Suzuki, T. Murata, “Stepwise refinements of transitions and places”, First European Workshop on Application and Theory of Petri nets, Strasbourg, 1980.
R. Valette, “Analysis of Petri nets by stepwise refinements”, J. of Compt. System Sci., vol.18, n°l, feb. 1979, pp. 35–46.
R. Valette, “Spécification et validation de la synchronisation des tâches dans un atelier flexible de masticage”, Rapport partiel GIS-Atelier Flexible, Note Interne LAAS- PASTELS 81.1.38, oct. 1981.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Valette, R., Courvoisier, M., Mayeux, D. (1983). Control of Flexible Production Systems and Petri Nets. In: Pagnoni, A., Rozenberg, G. (eds) Applications and Theory of Petri Nets. Informatik-Fachberichte, vol 66. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69028-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-69028-0_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12309-5
Online ISBN: 978-3-642-69028-0
eBook Packages: Springer Book Archive