Petri nets. An introduction. Transl. from the German. (English) Zbl 0555.68033

Reisig, Wolfgang

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

MSC:

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

Keywords:

Petri net; condition/event systems; place/transition nets; invariants; Predicate/event nets

Citations:

Zbl 0482.68054