scientific article; zbMATH DE number 3988725

MaRDI QIDQ3751025zbMATH OpenFDO

Authors Lucia Pomello

Publication date 1986

zbMATH Keywords

subset languagesconcurrency degreePetri net models of concurrent systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Recommendations

• Equivalence notions applied to designing concurrent systems with the use of Petri nets
• Extensional equivalences for transition systems
• scientific article; zbMATH DE number 1498421
• Functional equivalences of Petri nets
• scientific article; zbMATH DE number 1534580

Cited in

(16)

• Conflict vs causality in event structures
• scientific article; zbMATH DE number 4085038 (Why is no real title available?)
• Equivalence of discrete systems
• Modal Open Petri Nets
• Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence
• A completed hierarchy of true concurrent equivalences
• scientific article; zbMATH DE number 17804 (Why is no real title available?)
• Normalization of place/transition-systems preserves net behaviour
• Deciding true concurrency equivalences on safe, finite nets
• Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
• Characterising spectra of equivalences for event structures, logically
• Interleaving isotactics -- an equivalence notion on behaviour abstractions
• Maximality preserving bisimulation
• Conflict vs causality in event structures
• Functional equivalences of Petri nets
• scientific article; zbMATH DE number 3915635 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3751025)