Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4952300 | Theoretical Computer Science | 2017 | 11 Pages |
Abstract
In this paper we present a brief overview of a representative fragment of the theory of regions. Regions are a powerful tool for the synthesis of concurrent systems from a behavioural specification. To demonstrate the robustness of region based synthesis we survey some of the existing results for extensions of place/transition nets. We relate in particular to the general approach founded on Ï-nets and Ï-regions. A new extension of region theory to the case of Petri nets with whole-place operations is presented.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg,