Book Review: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume One . By Kurt Jensen. (Springer-Verlag, 1992. vii+234 pages. ISBN 0-387-55597-8. $69 .00) | ACM SIGACT News | DeepDyve