Localities in systems with a/sync communication

  1. Lookup NU author(s)
  2. Professor Maciej Koutny
Author(s)Kleijn J, Koutny M
Publication type Article
JournalTheoretical Computer Science
Year2012
Volume429
Issue
Pages185–192
ISSN (print)0304-3975
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
PublisherElsevier BV
URLhttp://dx.doi.org/10.1016/j.tcs.2011.12.038
DOI10.1016/j.tcs.2011.12.038
Actions    Link to this publication