scientific article; zbMATH DE number 1361506

zbMath0941.68091MaRDI QIDQ4699325

Walter Vogler

Publication date: 10 November 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Relational structures model of concurrency ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS ⋮ Contextual Petri nets, asymmetric event structures, and processes

This page was built for publication: