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)

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

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)