A survey on high-level Petri-net theory. (English) Zbl 0856.68109
Summary: The paper gives an overview over fundamentals and recent trends in the theory of high-level nets, most prominent among them predicate-transition nets and coloured nets. As typical examples of useful mathematical methods for system analysis, we discuss high-level net-invariants and reachability-trees.
MSC:
68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |