Toggle Main Menu Toggle Search

ePrints

Mutex Causality in Processes and Traces of General Elementary Nets

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

Downloads


Abstract

A concurrent history represented by a causality structure that captures the intrinsic, invariant dependencies between its actions, can be interpreted as defining a set of closely related observations (e.g. step sequences). Depending on the relationships observed in the histories of a system, the concurrency paradigm to which it adheres may be identified, with different concurrency paradigms underpinned by different kinds of causality structures. Adding mutex arcs to elementary net systems with inhibitor arcs yields a system model enim-systems) that through its process semantics and associated causality structures fits the least restrictive concurrency paradigm. Here we complete the picture by giving an abstract description of the behaviour of an enim-system by grouping together step sequences in equivalence classes (generalised comtraces) using the structural relations between its transitions. The thus defined concurrent histories of the enim-system correspond exactly to the generalised stratified order structures underlying its processes. The results presented establish a link between enim-systems and trace theory and allow one to identify different observations of concurrent behaviour in a way that is consistent with the causality semantics defined by the operationally defined processes.


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: 29

Print publication date: 01/11/2011

Source Publication Date: November 2011

Report Number: 1286

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

Place Published: Newcastle upon Tyne


Share