Coloured Petri Nets", Petri Nets : Central Models and Their (1986)

by K Jensen
Venue:Properties, Lecture Notes in Computer Science