Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Interval Traces with Mutex Relation

Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD, Dr Lukasz Mikulski

Downloads

Licence

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

Abstract

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

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

Library holdings: Search Newcastle University Library for this item

ISBN: 9783031336195

Share