Coloured Petri Nets: Basic Concepts (1997)

by K Jensen
Venue:Analysis Methods and Practical Use