Browse by author
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.
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
URL: http://ceur-ws.org/Vol-2651/paper6.pdf
Notes: Paris, France, June 24, 2020 (due to COVID-19: virtual conference).
