scientific article
From MaRDI portal
Publication:2760251
zbMath1006.68101MaRDI QIDQ2760251
Eike Best, Raymond Devillers, Maciej Koutny
Publication date: 18 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Nested-unit Petri nets ⋮ Extensional Petri net ⋮ A congruence relation for sPBC ⋮ Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
This page was built for publication: