Toggle Main Menu Toggle Search

Open Access padlockePrints

Causality in Structured Occurrence Nets

Lookup NU author(s): Professor Henriette Kleijn, Professor Maciej Koutny

Downloads


Abstract

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

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 18

Print publication date: 01/11/2011

Source Publication Date: November 2011

Report Number: 1290

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1290.pdf


Share