Toggle Main Menu Toggle Search

Open Access padlockePrints

Applying Regions

Lookup NU author(s): Professor Maciej KoutnyORCiD, 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.

Publication metadata

Author(s): Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G

Publication type: Article

Publication status: Published

Journal: Theoretical Computer Science

Year: 2017

Volume: 658

Issue: Part A

Pages: 205-215

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

Publisher: Elsevier


DOI: 10.1016/j.tcs.2016.01.040


Altmetrics provided by Altmetric