Lookup NU author(s): Professor Maciej Koutny
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 denea 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.
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
Print publication date: 07/05/2015
Online publication date: 04/06/2015
Publisher: Springer International Publishing
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science