We understand fundamentals in this context as: 1. Fundamentals in the sense of a carefully motivated introduction to algebraic specification, which is understandable for computer scientists and mathematicians. 2.

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.

In the theory of automata this observation has led to the concepts of pro ducts and complete systems of automata. In the general form of the products of automata all the component automata are fed back to one another.

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.