Lookup NU author(s): Professor Maciej Koutny,
Dr Marta Koutny
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).
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 tau-nets and tau-regions. A new extension of region theory to the case of Petri nets with whole-place operations is presented.
Author(s): Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G
Publication type: Article
Publication status: Published
Journal: Theoretical Computer Science
Issue: Part A
Print publication date: 07/01/2017
Online publication date: 03/02/2016
Acceptance date: 28/01/2016
Date deposited: 29/01/2016
ISSN (print): 0304-3975
Altmetrics provided by Altmetric