A Language for the Description of Concurrent Systems Modeled by Colored Petri Nets: Application to the Control of Flexible Manufacturing Systems

  • Javier Martinez
  • Manuel Silva
Part of the Management and Information Systems book series (MIS)


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.


Flexible Manufacturing System Concurrent System Library Function Mastic Station Roller Table 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. L. Peterson, A note on colored Petri nets, Inf. Process. Lett 11 (1) 40–43 (1980).zbMATHCrossRefGoogle Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    K. Jensen, Coloured Petri nets and the invariant method, Theor. Comput. Sci 14, 317336 (1981).Google Scholar
  6. 6.
    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.zbMATHGoogle Scholar
  7. 7.
    E. Thuriot, R. Valette, and M. Courvoisier, Implementation of a centralized syncronization concept for production systems, Ieee Real-Time Symposium. Arlington, Virginia, December, 1983.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    M. Silva, Las redes de Petri en la Automdtica y en la Informatica. Ed. AC, Madrid, 1985.Google Scholar
  10. 10.
    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.Google Scholar

Copyright information

© Springer Science+Business Media New York 1985

Authors and Affiliations

  • Javier Martinez
    • 1
  • Manuel Silva
    • 1
  1. 1.Departamento de Automatica, E.T.S. Ingenieros IndustrialesUniversidad de ZaragozaZaragozaSpain

Personalised recommendations