scientific article
From MaRDI portal
Publication:3680254
zbMath0565.68019MaRDI QIDQ3680254
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent systemsPetri net theorysemanticsconcurrent programming languagesprocesses and firing sequences in net theory
Related Items
Compositional process semantics of Petri Boxes ⋮ Sequential and concurrent behaviour in Petri net theory ⋮ Specifying reversibility with \(\mathrm{TLA}^+\) ⋮ Semi-commutations and Petri nets
