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..