Coloured petri nets. Petri nets: central models and their properties (1987)

by K Jensen