scientific article; zbMATH DE number 1435983
From MaRDI portal
Publication:4948012
zbMath0942.68070MaRDI QIDQ4948012
Publication date: 26 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Synthesis of Petri Nets with Whole-Place Operations and Localities ⋮ Process semantics of general inhibitor nets ⋮ On Interval Process Semantics of Petri Nets with Inhibitor Arcs ⋮ Classifying invariant structures of step traces ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Step traces ⋮ 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
This page was built for publication:
