Publication:4948012
From MaRDI portal
zbMath0942.68070MaRDI QIDQ4948012
Publication date: 26 April 2000
68Q55: Semantics in the theory of computing
Related Items
Step traces, Process semantics of general inhibitor nets, Executability of scenarios in Petri nets, Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS, Analysis issues in Petri nets with inhibitor arcs, Interval semantics for Petri nets with inhibitor arcs, Domain and event structure semantics for Petri nets with read and inhibitor arcs, Classifying invariant structures of step traces, On Interval Process Semantics of Petri Nets with Inhibitor Arcs, Synthesis of Petri Nets with Whole-Place Operations and Localities