scientific article; zbMATH DE number 3988725

MaRDI QIDQ3751025zbMATH OpenFDO

Authors Lucia Pomello

Publication date 1986

zbMATH Keywords

concurrency degreePetri net models of concurrent systemssubset languages

Mathematics Subject Classification ID

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

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

(19)

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

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)