Toggle Main Menu Toggle Search

Open Access padlockePrints

Causality in Structured Occurrence Nets

Lookup NU author(s): Professor Maciej Koutny

Downloads

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


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

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

URL: http://dx.doi.org/10.1007/978-3-642-24541-1_22

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

Library holdings: Search Newcastle University Library for this item

ISBN: 9783642245404


Actions

Link to this publication


Share