×

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.

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