This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets.

Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory.

The book is self-contained to a large degree, providing detailed derivations of most of the technical results, and is intended for researchers, lecturers and graduate students.

This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.

In recent time, computer scientists are taking a broader interest in net theory. The main concern of this book is the presentation of those parts of net theory which can serve as a basis for practical application.