Toggle Main Menu Toggle Search

ePrints

Minimal Regions of ENL-Transition Systems

Lookup NU author(s): Professor Maciej Koutny, Dr Marta Koutny

Downloads


Abstract

One of the possible ways of constructing concurrent systems is their automated synthesis from behavioural specifications. In this paper, we look at a particular instance of this approach which aims at constructing GALS (globally asynchronous locally synchronous) systems from specifications given in terms of transition systems with arcs labelled by steps of executed actions. GALS systems are represented by Elementary Net Systems with Localities (ENL-systems), each locality defining a set of co-located actions. The synthesis procedure is based on the regions of transition systems and we provide a number of criteria aimed at generating a minimal set of regions (conditions) of an ENL-system generating a given transition system.


Publication metadata

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

Publication type: Article

Publication status: Published

Journal: Fundamenta Informaticae

Year: 2010

Volume: 101

Issue: 1-2

Pages: 45-58

Print publication date: 24/09/2010

ISSN (print): 0169-2968

ISSN (electronic): 1875-8681

Publisher: IOS Press

URL: http://dx.doi.org/10.3233/FI-2010-274

DOI: 10.3233/FI-2010-274


Altmetrics

Altmetrics provided by Altmetric


Actions

    Link to this publication


Share