Toggle Main Menu Toggle Search

Open Access padlockePrints

Synthesising Elementary Net Systems with Localities

Lookup NU author(s): Dr 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.

Publication metadata

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


DOI: 10.1016/j.tcs.2022.01.042

ePrints DOI: 10.57711/qt9g-k397


Altmetrics provided by Altmetric