Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 (1995. 2nd Corr. Printing 1997)Hardcover - 1995. 2nd Corr. Printing 1997, 28 November 1994

"Unlike most books on Petri nets, which try to illustrate all aspects of the formalism, this volume focuses on a specific subject: the analysis of CP-nets. - The style, exercises, and bibliographical remarks makes this book useful as a textbook for an advanced course on CP-nets, which should follow a course based on the first volume." (M. Pezzé in Computing Reviews, August 1996)