×

zbMATH — the first resource for mathematics

Petri nets with individual tokens. (English) Zbl 0521.68057
Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 229-249 (1983).

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