scientific article; zbMATH DE number 4206024

MaRDI QIDQ3355248zbMATH OpenFDO

Authors Walter Vogler

Publication date 1990

zbMATH Keywords

Concurrent systemsPetri nets

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Failures semantics based on interval semiwords is a congruence for refinement
• A hierarchy of failures-based models
• scientific article; zbMATH DE number 17804
• Structure of concurrency
• A hierarchy of failures-based models: theory and application

Cited in

(6)

• A theory of implementation and refinement in timed Petri nets
• Maximality preserving bisimulation
• Concurrent bisimulations in Petri nets
• Functional equivalences of Petri nets
• Structure of concurrency
• Failures semantics based on interval semiwords is a congruence for refinement

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 Q3355248)