Toggle Main Menu Toggle Search

Open Access padlockePrints

Minimising the Synthesised ENL-systems

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

Downloads


Licence

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


Abstract

© 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). CEUR Workshop Proceedings (CEUR-WS.org). 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. In our previous papers we developed algorithms and tool support for the synthesis of enl-systems from step transition systems, where arcs are labelled by steps (sets) of executed actions. In this paper we focus on the minimisation of the synthesised nets. In particular, we discuss the properties of minimal, companion, and complementary regions, and their role in the process of minimisation of enl-systems. Furthermore, we propose a strategy to eliminate redundant regions. Our theoretical results are backed by experiments (the algorithms for the minimisation are implemented within the workcraft framework).


Publication metadata

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

Editor(s): Lorenz, R; van der Werf, JM; van Zelst, SJ

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022)

Year of Conference: 2022

Pages: 43-59

Online publication date: 13/07/2022

Acceptance date: 02/04/2018

Date deposited: 19/08/2022

ISSN: 1613-0073

Publisher: CEUR-WS

URL: http://ceur-ws.org/Vol-3167/paper3.pdf

Series Title: CEUR Workshop Proceedings


Share