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 …