Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Minimal Regions of ENL-transition Systems

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

Downloads

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

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 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

URL: http://csp2009.mimuw.edu.pl/csp09vol1_v2_numbered.pdf

Share