Browse by author
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.
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
