Abstract
The writing of software for the control of medium- and large-scale concurrent systems is quite a complex task. To facilitate this it is convenient to have languages which permit a description of these control systems based on easily constructed models.
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
J. L. Peterson, A note on colored Petri nets, Inf. Process. Lett 11 (1) 40–43 (1980).
J. Dorth and T. Murata, Use of colored Petri nets for modeling Pbx systems, Ieee Workshop on Languages for Automation, Chicago, November, 1983, pp. 196–201.
K. Jensen, How to find invariants for coloured Petri nets, Mathematical Foundations of Computer Science. Lecture Notes in Computer Science 118. Springer Verlag, Berlin, 1981.
H. Alla, P. Ladet, J. Martinez, and M. Silva, Modeling and validation of complex systems by coloured Petri nets: Application to a flexible manufacturing system, Fifth European Workshop on Petri net applications and theory, Aarhus (Denmark), June, 1984, pp. 122–141, paper selected to be published by G. Rosemberg in Advances in Net Theory,Springer Verlag.
K. Jensen, Coloured Petri nets and the invariant method, Theor. Comput. Sci 14, 317336 (1981).
M. Silva, J. Martinez, P. Ladet, and H. Alla, Generalized inverses and the calculation of symbolic invariants for coloured Petri nets, Tech. Sci. Inf.., 4, (1), 1985, 113–126.
E. Thuriot, R. Valette, and M. Courvoisier, Implementation of a centralized syncronization concept for production systems, Ieee Real-Time Symposium. Arlington, Virginia, December, 1983.
R. Valette, R. Courvoisier, and E. Mayeux, Control of flexible production systems and Petri nets, Third European Workshop on Applications and Theory of Petri nets. Varenna, Italy, September, 1982, pp. 426–439.
M. Silva, Las redes de Petri en la Automdtica y en la Informatica. Ed. AC, Madrid, 1985.
K. Lautenbach and A. Pagnoni, On the various high-level Petri nets and their invariants. Petri nets and related system models, Newsletter 16. Gesellschaft fur Informatck, February, 1984, pp. 20–36.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer Science+Business Media New York
About this chapter
Cite this chapter
Martinez, J., Silva, M. (1985). A Language for the Description of Concurrent Systems Modeled by Colored Petri Nets: Application to the Control of Flexible Manufacturing Systems. In: Chang, SK. (eds) Languages for Automation. Management and Information Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-1388-6_18
Download citation
DOI: https://doi.org/10.1007/978-1-4757-1388-6_18
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1390-9
Online ISBN: 978-1-4757-1388-6
eBook Packages: Springer Book Archive