Toggle Main Menu Toggle Search

Open Access padlockePrints

Non-Atomic Transition Firing in Contextual Nets

Lookup NU author(s): Professor Maciej KoutnyORCiD



This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).


The ring rule for Petri nets assumes instantaneous and simultaneousconsumption and creation of tokens. In the context of ordinaryPetri nets, this poses no particular problem because of the system'sasynchronicity, even if token creation occurs later than token consumptionin the ring. With read arcs, the situation changes, and several differentchoices of semantics are possible. The step semantics introduced byJanicki and Koutny can be seen as imposing a two-phase ring scheme: rst, the presence of the required tokens is checked, then consumptionand production of tokens happens. Pursuing this approach further, wedevelop a more general framework based on explicitly splitting the phasesof ring, allowing to synthesize coherent steps. This turns out to de nea more general non-atomic semantics, which has important potential forsafety as it allows to detect errors that were missed by the previous semantics.Then we study the characterization of partial-order processesfeasible under one or the other semantics.

Publication metadata

Author(s): Chatain T, Haar S, Koutny M, Schwoon S

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 36th International Conference on Application and Theory of Petri Nets and Concurrency

Year of Conference: 2015

Pages: 117-136

Print publication date: 07/05/2015

Online publication date: 04/06/2015

Date deposited: 19/06/2015

ISSN: 0302-9743

Publisher: Springer International Publishing


DOI: 10.1007/978-3-319-19488-2_6

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319194875