ePrints

Minimal Regions of ENL-Transition Systems

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

Downloads

• Accepted version [.pdf]

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

Date deposited: 13/02/2011

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

Funding

Share