scientific article

zbMath1004.68113MaRDI QIDQ2775861

Claus Schröter, Javier Esparza

Publication date: 28 February 2002

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)

Parameter space abstraction and unfolding semantics of discrete regulatory networks ⋮ Directed Unfolding of Petri Nets ⋮ State space analysis of Petri nets with relation-algebraic methods ⋮ Unnamed Item

This page was built for publication: