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

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.

[1]  Kurt Jensen.  How to Find Invariants for Coloured Petri Nets , 1981, MFCS.

[2]  James L. Peterson,et al.  A Note on Colored Petri Nets , 1980, Inf. Process. Lett..

[3]  Marc Courvoisier,et al.  Control of Flexible Production Systems and Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[4]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..