Toggle Main Menu Toggle Search

Open Access padlockePrints

Algorithms for the Synthesis of Elementary Net Systems with Localities

Lookup NU author(s): Dr Aishah Ahmed, Dr Marta Koutny



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


Elementary Net Systems with Localities (ENL-systems) is a class of Petri nets introduced to model GALS (globally asynchronous locally synchronous) systems, where some of the components might be considered as logically or physically close and acting synchronously, while others might be considered as loosely connected or residing at distant locations and communicating with the rest of the system in an asynchronous way. The specification of the behaviour of a GALS system comes very often in the form of a transition system. The automated synthesis, based on regions, is an approach that allows to construct Petri net models from their transition system specifications. While theory of regions is well developed, there is still lack of implemented tools capable of dealing with complex real-life system construction. In this paper we focus on developing algorithms and tool support for the synthesis of the ENL-systems from step transition systems, where arcs are labelled by steps (sets) of executed actions. The algorithms are implemented within the WORKCRAFT framework.

Publication metadata

Author(s): Ahmed A, Pietkiewicz-Koutny M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: International Workshop on Petri Nets and Software Engineering (PNSE'2020)

Year of Conference: 2020

Pages: 86-107

Online publication date: 24/06/2020

Acceptance date: 11/05/2020

Date deposited: 24/07/2020

ISSN: 1613-0073

Publisher: CEUR workshop proceedings


Notes: Paris, France, June 24, 2020 (due to COVID-19: virtual conference).