scientific article

zbMath0473.68056MaRDI QIDQ3928257

Kurt Jensen

Publication date: 1981

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

zbMATH Keywords

incidence matrixtransformation rules

Mathematics Subject Classification ID

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

Related Items

Petri nets with individual tokens, Extended colored Petri net: An efficient tool for analyzing concurrent systems, Coloured Petri nets and the invariant-method, Reachability trees for high-level Petri nets, Petri nets and algebraic specifications, Petri nets for modeling of dynamic systems -- a survey