scientific article

zbMath0733.68059MaRDI QIDQ3359783

Peter H. Starke

Publication date: 1991

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

zbMATH Keywords

coloured Petri netsplace/transition nets

Mathematics Subject Classification ID

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

Related Items

Star-Topology Decoupling in SPIN ⋮ Individuals, populations and fluid approximations: a Petri net based perspective ⋮ Solving high-level Petri games ⋮ Parameterized reachability trees for algebraic Petri nets ⋮ A symbolic reachability graph for coloured Petri nets ⋮ Modular rewritable Petri nets: an efficient model for dynamic distributed systems ⋮ Star-topology decoupled state space search ⋮ Computational Complexity of Computing Symmetries in Finite-Domain Planning ⋮ Canonical representations for direct generation of strategies in high-level Petri games