Toggle Main Menu Toggle Search

Open Access padlockePrints

Causality in Extensions of Petri Nets

Lookup NU author(s): Professor Maciej KoutnyORCiD


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


The causal semantics of standard net classes like Elementary Net Systems and Place/Transition Nets, is typically expressed in terms of partially ordered sets of transition occurrences. In each such partial order, causally related occurrences are ordered while concurrent transition occurrences remain unordered. Partial order semantics can, in particular, support model checking by efficient verification techniques based on net unfoldings. To enhance the modelling power of standard net classes, one can introduce different forms of ‘testing’ using, for example, inhibitor arcs. However, the causal semantics of such extended nets can often no longer be described solely in terms of partial orders. In this paper, we explain what modifications to the partial order semantics are needed in order to provide a satisfactory treatment for nets with activator, inhibitor and mutex arcs. On the technical side, the proposed solution is based on causal structures which enrich partial orders with additional order relations corresponding to other aspects of causality. With en-systems as our starting point, we discuss how their extensions can be treated using these richer notions of causality.

Publication metadata

Author(s): Kleijn J, Koutny M

Editor(s): Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf

Publication type: Book Chapter

Publication status: Published

Book Title: Transactions on Petri Nets and Other Models of Concurrency VII

Year: 2013

Volume: 7

Pages: 225-254

Series Title: Lecture Notes in Computer Science

Publisher: Springer

Place Published: Berlin


DOI: 10.1007/978-3-642-38143-0_6

Library holdings: Search Newcastle University Library for this item

ISBN: 9783642381430