Mutex causality in processes and traces of general elementary nets

DOI10.3233/FI-2013-785MaRDI QIDQ4914294zbMATH OpenOpenAlexFDO

Authors Maciej Koutny, Jetty Kleijn

Publication date 18 April 2013

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2013-785

zbMATH Keywords

causalityconcurrency paradigmelementary net systemgeneralised comtracegeneralised stratified order structureinhibitor arcmutex arcprocess semanticsstep sequence

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The mutex paradigm of concurrency
• Semantics of inhibitor nets
• scientific article; zbMATH DE number 4070337
• Characterising concurrent histories
• Causality in extensions of Petri nets

Cited in

(10)

• Relational structures for concurrent behaviours
• Classifying invariant structures of step traces
• Characterising concurrent histories
• The mutex paradigm of concurrency
• Structural non-interference in elementary and trace nets
• scientific article; zbMATH DE number 1263852 (Why is no real title available?)
• Algebraic structure of step traces and interval traces
• Modeling concurrency with interval traces
• Step traces
• Interval traces with mutex relation

This page was built for publication: Mutex causality in processes and traces of general elementary nets

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