A Language for the Description of Concurrent Systems Modeled by Colored Petri Nets: Application to the Control of Flexible Manufacturing Systems
- 80 Downloads
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.
KeywordsFlexible Manufacturing System Concurrent System Library Function Mastic Station Roller Table
Unable to display preview. Download preview PDF.
- 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.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.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.K. Jensen, Coloured Petri nets and the invariant method, Theor. Comput. Sci 14, 317336 (1981).Google Scholar
- 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.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.M. Silva, Las redes de Petri en la Automdtica y en la Informatica. Ed. AC, Madrid, 1985.Google Scholar
- 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