zbMATH — the first resource for mathematics

Axiomatizing net computations and processes. (English) Zbl 0722.68085
Logic in computer science, Proc. 4th Annual Symp., Pacific Grove/CA (USA) 1989, 175-185 (1989).
[For the entire collection see Zbl 0713.00018.]
Four categories related to Place/transition net computations are described and some of their properties are studied. The paper is a continuation of a previous research and it is oriented to a new direction of development of the Petri net theory.

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)