zbMATH — the first resource for mathematics

Aspects mathématiques des réseaux de Pétri. (The mathematics of Petri nets. Translated by Iain Craig.) (English) Zbl 0694.68007
New York etc.: Prentice Hall. IX, 117 p. (1990).
This book on Petri nets presents a detailed exposition of advanced results in Petri net theory and as such it is a continuation and important complementation of the standard textbooks by Starke, Peterson, and Reisig.
The contents of this book centers on the famous reachability problem. It is the first which contains not only the important concepts and proofs of necessary results but also the complex proof of accessibility in full detail.
Results in the near surroundings are celebrated shortly. The book contains the following six chapters: Petri nets and vector addition systems (10 pages), graphs and ordered sets (12 pages), rational subsets of monoids and semi-linear sets (21 pages), vector addition systems with states (26 pages), chains and accessibility (18 pages), complements (27 pages).
Reviewer: M.Jantzen

68-02 Research exposition (monographs, survey articles) pertaining to computer science
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)