Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

On causality semantics of nets with priorities

Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD

Downloads

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

Abstract

In the formal treatment of concurrent computing systems, causality and weak causality can be used to provide abstract specifications of the temporal 'earlier than' and 'not later than' orderings. In this paper we consider relational structures comprising causality and weak causality - called stratified order structures - which can be used to provide a non-sequential semantics of Petri nets with inhibitor arcs. We show that this approach can be extended to nets augmented with priority specifications. In particular, we demonstrate how to derive stratified order structures for such nets by generalising the standard construction of causal partial orders based on occurrence nets.

Publication metadata

Author(s): Janicki R, Koutny M

Publication type: Article

Publication status: Published

Journal: Fundamenta Informaticae

Year: 1999

Volume: 38

Issue: 3

Pages: 223-255

Print publication date: 01/05/1999

ISSN (print): 0169-2968

ISSN (electronic):

Publisher: IOS Press

Share