Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Applying Regions

Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD, Dr Marta Koutny

Downloads

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).

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 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

URL: http://dx.doi.org/10.1016/j.tcs.2016.01.040

DOI: 10.1016/j.tcs.2016.01.040

Altmetrics

Altmetrics provided by Altmetric

Share