Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs

Authors:

Abstract
No abstract available