Localities in systems with a/sync communication

Authors:
Jetty Kleijn;Maciej Koutny
Affiliations:
LIACS, Leiden University, P.O.Box 9512, NL-2300 RA Leiden, The Netherlands;School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom
Venue:
Theoretical Computer Science
Year:
2012

Citing 9
Cited 0

Sequential and concurrent behaviour in Petri net theory

Theoretical Computer Science
Membrane Computing: An Introduction

Membrane Computing: An Introduction
Place or Transition Petri Nets

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Elementary Net Systems

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Process semantics of general inhibitor nets

Information and Computation
Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques

Fundamenta Informaticae
Process semantics for membrane systems

Journal of Automata, Languages and Combinatorics
Occurrence nets then and now: the path to structured occurrence nets

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Towards a petri net semantics for membrane systems

WMC'05 Proceedings of the 6th international conference on Membrane Computing

Quantified Score

Hi-index	5.23

Visualization

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.