Toggle Main Menu Toggle Search

Open Access padlockePrints

Minimal Regions of ENL-transition Systems

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


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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 tranisition system.

Publication metadata

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

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Workshop on Concurrency, Specification, and Programming (CS&P)

Year of Conference: 2009

Pages: 303-314

Publisher: Warsaw University