scientific article; zbMATH DE number 408787

zbMath0819.68083MaRDI QIDQ4202931

Javier Esparza, Eike Best

Publication date: 6 September 1993

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

zbMATH Keywords

model checkingpersistent Petri netsmodal logic semantics of concurrency

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Model checking using net unfoldings ⋮ Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets

This page was built for publication: