A Language for the Description of Concurrent Systems Modeled by Colored Petri Nets: Application to the Control of Flexible Manufacturing Systems
- 1 January 1985
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- A note on colored Petri netsInformation Processing Letters, 1980