Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD, Dr Lukasz Mikulski
This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).
Interval traces can model sophisticated behaviours of concurrent systems under the assumptions thatall observations/system runs are represented by interval orders and simultaneity is not necessarily transitive.What they cannot model is the case when a and b are considered independent, interleavings ab and ba aredeemed equivalent, but simultaneous execution of a and b is disallowed.We introduce a new kind of interval traces, incorporating a mutex relation, that can model these kind of cases.We discuss the soundness of this concept and show how it can be applied in the domain of Petri nets.
Author(s): Janicki R, Koutny M, Mikulski L
Editor(s): Gomez L; Lorenz R
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023)
Year of Conference: 2023
Online publication date: 28/05/2023
Acceptance date: 05/03/2023
Date deposited: 28/04/2023
ISSN: 9783031336195
Publisher: Springer
URL: https://doi.org/10.1007/978-3-031-33620-1_8
DOI: 10.1007/978-3-031-33620-1_8
ePrints DOI: 10.57711/cg69-gv41