Coloured Petri Nets : A High Level Language for System Design and Analysis (1990)

by K Jensen
Venue:Lecture Notes in Computer Science 483 - Advances in Petri Nets