Toggle Main Menu Toggle Search

Open Access padlockePrints

Synthesis of Petri Nets with Localities

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.


Automated synthesis from behavioural specifications is an attractive way of constructing computational systems. In this paper, we look at a specific instance of this approach which aims at constructing GALS (globally asynchronous locally synchronous) systems. GALS systems are represented by Petri nets with localities, each locality defining a set of co-located actions, and specifications are given in terms of transition systems with arcs labelled by steps of executed actions. The proposed synthesis procedures are based on the regions of transition systems, and work without knowing which actions are to be co-located. We consider two basic classes of Petri nets, viz. Elementary Net System with Localities (ENL-system) and Place/Transition nets with localities (PTL-nets). In particular, we discuss ENL-systems where there is no conflict between events coming from different localities. In such a case, the synthesis problem reduces to checking just one co-location relation. This result is then extended to PTL-nets.

Publication metadata

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

Publication type: Article

Publication status: Published

Journal: Scientific Annals of Computer Science

Year: 2009

Volume: 19

Pages: 1-23

ISSN (print): 1843-8121

Publisher: Alexandru Ioan Cuza, University of Iasi, Romania