zbMATH — the first resource for mathematics

Place/transition Petri nets. (English) Zbl 0926.68083
Reisig, Wolfgang (ed.) et al., Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 1491, 122-173 (1998).
Summary: This contributions provides an introduction to the theory of place/transition Petri nets. Topics include the sequential and the concurrent behavior of place/transition Petri nets, marking graphs and cover ability trees, and some analysis techniques that are based on the structure of place/transition Petri nets.
For the entire collection see [Zbl 0903.00072].

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)