Localities in systems with a/sync communication

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.

[1]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[2]  Maciej Koutny,et al.  Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques , 2009, Fundam. Informaticae.

[3]  Artiom Alhazov,et al.  Membrane Computing , 2013, Lecture Notes in Computer Science.

[4]  Maciej Koutny,et al.  Towards a Petri Net Semantics for Membrane Systems , 2005, Workshop on Membrane Computing.

[5]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[6]  Wolfgang Reisig,et al.  Lectures on Petri Nets II: Applications , 1996, Lecture Notes in Computer Science.

[7]  Brian Randell.  Occurrence Nets Then and Now: The Path to Structured Occurrence Nets , 2011, Petri Nets.

[8]  Luca P. Carloni.  A Formal Modeling Framework for Deploying Synchronous Designs on Distributed Architectures , 2003 .

[9]  C. Petri.  Kommunikation mit Automaten , 1962 .

[10]  Gheorghe Paun,et al.  The Oxford Handbook of Membrane Computing , 2010 .

[11]  Maciej Koutny,et al.  Process semantics of general inhibitor nets , 2004, Inf. Comput..

[12]  Joost Engelfriet,et al.  Elementary Net Systems , 1996, Applications and Theory of Petri Nets.

[13]  Raymond R. Devillers,et al.  Sequential and Concurrent Behaviour in Petri Net Theory , 1987, Theor. Comput. Sci..

[14]  Luciano Lavagno,et al.  Logic Synthesis for Asynchronous Controllers and Interfaces , 2002 .

[15]  Wolfgang Reisig,et al.  Lectures on Concurrency and Petri Nets , 2003, Lecture Notes in Computer Science.

[16]  Maciej Koutny,et al.  Causality in Structured Occurrence Nets , 2011, Dependable and Historic Computing.

[17]  Wolfgang Reisig,et al.  Place or Transition Petri Nets , 1996, Petri Nets.

[18]  Maciej Koutny,et al.  Process Semantics for Membrane Systems , 2006, J. Autom. Lang. Comb..