Toggle Main Menu Toggle Search

Open Access padlockePrints

Causality in Structured Occurrence Nets

Lookup NU author(s): Professor Maciej KoutnyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.

Publication metadata

Author(s): Kleijn J, Koutny M

Editor(s): Jones, C.B., Lloyd, J.L.

Publication type: Book Chapter

Publication status: Published

Book Title: Dependable and Historic Computing

Year: 2011

Volume: 6875

Pages: 283-297

Series Title: Lecture Notes in Computer Science

Publisher: Springer

Place Published: Berlin and New York


DOI: 10.1007/978-3-642-24541-1_22

Library holdings: Search Newcastle University Library for this item

ISBN: 9783642245404