Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1 (1992)

by K Jensen
Venue:EATCS Monographs on Theoretical Computer Science