"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)

Inhalt
Contents Overview: Full Occurrence Graphs.- Occurrence Graphs with Equivalence Classes.- Occurrence Graphs with Symmetries.- Invariants.- Timed CP-nets.- References.- Index.