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

by K Jensen
Venue:Advances on Petri Nets ’90, LNCS