scientific article; zbMATH DE number 4128405

zbMath0688.68059MaRDI QIDQ4207590

Markus Lindqvist

Publication date: 1989

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

zbMATH Keywords

reachabilityPetri netspredicate/transition nets

Mathematics Subject Classification ID

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

Related Items

Parameterized reachability trees for algebraic Petri nets ⋮ A symbolic reachability graph for coloured Petri nets ⋮ Petri nets and algebraic specifications