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.

This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars.

This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN).

This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars.

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.

In response, five speakers from the sessions contributed the papers which appear in this book.

Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers.

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.

There are hardly any theorems in this book which are older than 20 years and at least fifty percent of the material is younger than 10 years.