Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs
Authors:
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 186-205
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor ArcsDAIMI Report Series, 1992
- Coloured petri nets: A high level language for system design and analysis1991
- The semantics of capacities in P/T netsLecture Notes in Computer Science, 1990
- Predicate/Transition Nets1987
- Petri Nets1985
- Elements of general net theory1980