scientific article

zbMath0575.68058MaRDI QIDQ3694702

Kurt Jensen, Leif O. Jepsen, Arne M. Jensen, Peter J. Huber

Publication date: 1985

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

Mathematics Subject Classification ID

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

Related Items

Mathematical programming approach to the Petri nets reachability problem, Solving high-level Petri games, Parameterized reachability trees for algebraic Petri nets, Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems, Symmetries in timed continuous Petri nets, Reachability trees for high-level Petri nets