Browse by author
Lookup NU author(s): Professor Henriette Kleijn, Professor Maciej KoutnyORCiD
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.
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
