scientific article; zbMATH DE number 3606300
From MaRDI portal
Publication:4171901
zbMath0389.93002MaRDI QIDQ4171901
Kurt Lautenbach, Hartmann J. Genrich
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Circuits, networks (94C99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Axiomatic systems theory (93A05)
Related Items
On interleaving behaviour of PT-nets ⋮ The residue of vector sets with applications to decidability problems in Petri nets