scientific article

zbMath0769.68106MaRDI QIDQ4036588

Walter Vogler

Publication date: 18 May 1993

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

zbMATH Keywords

Petri netscausalitybranchingaction refinement\(OM\)-bisimulationfinite safe netsHistory preserving bisimulationordered markings of nets

Mathematics Subject Classification ID

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

Related Items

The decidability border of hereditary history preserving bisimilarity, Minimal transition systems for history-preserving bisimulation, Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems, Deciding true concurrency equivalences on safe, finite nets, Timed processes of Timed Petri Nets, Interleaving vs True Concurrency: Some Instructive Security Examples, Undecidability of domino games and hhp-bisimilarity., Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets, Local Model Checking in a Logic for True Concurrency, Deciding true concurrency equivalences on finite safe nets (preliminary report), Petri nets and bisimulation, A Logic for True Concurrency, New Bisimulation Semantics for Distributed Systems