Toggle Main Menu Toggle Search

Open Access padlockePrints

Interval Traces with Mutex Relation

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.

Publication metadata

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


DOI: 10.1007/978-3-031-33620-1_8

ePrints DOI: 10.57711/cg69-gv41