Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD, Dr Marta KoutnyORCiD
This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).
© 2024 Copyright for this paper by its authors. Elementary net systems with inhibitor arcs are a class of fundamental Petri net models with very simple markings which are sets of places. Their standard semantics is based on sequences of executed transitions or, alternatively, as labelled total orders. In this paper, we introduce semantics based on interval (partial) orders which allows one to describe behaviours where transitions have non-atomic duration. For such a semantical model, we consider the net synthesis problem, and show that the standard notion of a region of transition system (providing input to the synthesis procedure) can still be applied after suitable modifications.
Author(s): Koutny M, Pietkiewicz-Koutny M
Editor(s): Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: International Workshop on Petri Nets and Software Engineering (PNSE 2024)
Year of Conference: 2024
Pages: 33-52
Online publication date: 25/06/2024
Acceptance date: 02/04/2018
Date deposited: 13/08/2024
ISSN: 1613-0073
Publisher: CEUR-WS
URL: https://ceur-ws.org/Vol-3730/paper02.pdf
Series Title: CEUR Workshop Proceedings
