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.

Localities in systems with a/sync communication

Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

Localities and a/sync places are two recent extensions to the Petri net model. Whereas localities have been introduced as a modelling tool for membrane systems and more general GALS (globally asynchronous locally synchronous) systems, a/sync places make it possible to model synchronous communication between transitions. We investigate the interaction between locally synchronous execution and synchronous communication. Our focus is in particular on the causalities in the concurrent runs of a new Petri net model combining these features.

Publication metadata

Author(s): Kleijn J, Koutny M

Publication type: Article

Publication status: Published

Journal: Theoretical Computer Science

Year: 2012

Volume: 429

Pages: 185–192

Print publication date: 23/11/2012

ISSN (print): 0304-3975

Publisher: Elsevier BV

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

DOI: 10.1016/j.tcs.2011.12.038

Altmetrics

Altmetrics provided by Altmetric

Share