Causality in Structured Occurrence Nets

• Published in: Dependable and Historic Computing pp. 283 - 297
• Main Authors: Kleijn, Jetty, Koutny, Maciej
• Format: Book Chapter
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2011
• Series: Lecture Notes in Computer Science
• Subjects: causality semantics; concurrency; occurrence net; place transition net; process semantics; semantical framework; structured occurrence net; synchronous and asynchronous communication
• ISBN: 9783642245404; 3642245404
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-642-24541-1_22

Structured occurrence nets consist of multiple occurrence nets — each recording causality and concurrency in an execution of a component of a concurrent system. These occurrence nets are linked together by means of various types of relationships, aimed at representing dependencies between communicating and evolving sub-systems. In this paper, we investigate causality in the basic class of communication structured occurrence nets (cso-nets). We start by introducing the corresponding system-level model of communication structured Place Transition Nets (cspt-nets) which extend Place Transition Nets with an explicit structuring into communicating sub-systems and process interaction based on a combination of synchronous and asynchronous communication. After that we develop a cso-net based process semantics for cspt-nets showing that causality in cso-nets is underpinned by stratified order structures extending causal partial orders with weak causality.