zbMATH — the first resource for mathematics

Petri nets. An introduction. Transl. from the German. (English) Zbl 0555.68033
EATCS Monographs on Theoretical Computer Science, 4. Berlin etc.: Springer-Verlag. X, 161 p. DM 69.00 (1985).
[For a review of the original edition (1982) see Zbl 0482.68054.]
The author presents a basis of Petri net theory. First, he introduces condition/event systems and gives their properties. Next, he deals with place/transition nets and analyses them by means of invariants. Predicate/event nets are also considered. Practical application of nets are shown by means of examples.
Reviewer: W.Kwasowiec

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
Zbl 0482.68054