Browse by author
Lookup NU author(s): Aishah Ahmed, Professor Maciej KoutnyORCiD, Dr Marta Koutny
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).
Elementary net systems with localities (ENL-systems) is a class of Petri nets introduced to model globally asynchronous locally synchronous systems(GALS), where some of the components can be considered as logically or physically close and acting synchronously, while others can be considered as loosely connected or residing at distant locations and communicating asynchronously with the rest of the system. The specification of the behaviour of a GALSsystem comes very often in the form of a transition system. Automated synthesis based on the regions of transition systems is an approach that allows to construct Petri net models from their transition system specifications. In this paper we focus on developing algorithms and tool support for the synthesis of the ENL-systems from transition systems, where transitions are labelled by steps (sets) of executed actions. We pay special attention to the subclass of ENL-systems with localised conflicts where there is no conflict between events belonging to different localities. The algorithms are implemented within the WORKCRAFT framework.
Author(s): Ahmed A, Koutny M, Pietkiewicz-Koutny M
Publication type: Article
Publication status: Published
Journal: Theoretical Computer Science
Year: 2022
Volume: 908
Pages: 123-140
Print publication date: 24/03/2022
Online publication date: 31/01/2022
Acceptance date: 26/01/2022
Date deposited: 26/01/2022
ISSN (print): 0304-3975
Publisher: Elsevier BV
URL: https://doi.org/10.1016/j.tcs.2022.01.042
DOI: 10.1016/j.tcs.2022.01.042
ePrints DOI: 10.57711/qt9g-k397
Altmetrics provided by Altmetric
