scientific article; zbMATH DE number 3988725

zbMATH Open0611.68037MaRDI QIDQ3751025FDOQ3751025

Authors: Lucia Pomello 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

Cited In (16)

• Title not available (Why is that?)
• Functional equivalences of Petri nets
• 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
• Title not available (Why is that?)
• Characterising spectra of equivalences for event structures, logically
• Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)