Petri Nets and Membrane Computing

Petri nets are a well-established model of concurrent and distributed computation featuring a wealth of tools for the analysis and verification of their behavioural properties. Like membrane systems, Petri nets are in essence multiset rewriting systems. Using this key commonality we describe a faithful translation from basic membrane systems to Petri nets. We also sketch the changes required to deal with promoters and inhibitors and with dynamically changing membrane structures. To capture the compartmentisation of membrane systems, the Petri net model is extended with localities and we show how to adapt the notion of a Petri net process accordingly. This makes it possible to describe ongoing concurrent behaviour of membrane systems in terms of causalities between the reactions that are taking place. © 2008 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details KLEIJN, J., KOUTNY, M. Petri Nets and Membrane Computing [By] J. Kleijn, M. Koutny. Newcastle upon Tyne: University of Newcastle upon Tyne: Computing Science, 2008. (University of Newcastle upon Tyne, Computing Science, Technical Report Series, No. CS-TR-1117)

[1]  G. Michele Pinna,et al.  Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs , 1999, Fundam. Informaticae.

[2]  Cristian S. Calude,et al.  Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View , 2000 .

[3]  Nadia Busi,et al.  Causality in Membrane Systems , 2007, Workshop on Membrane Computing.

[4]  Marian Gheorghe,et al.  Producer/Consumer in Membrane Systems and Petri Nets , 2007, CiE.

[5]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[6]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[7]  Pierluigi Frisco.  Petri nets and Program machines , 2006 .

[8]  Maciej Koutny,et al.  Semantics of Inhibitor Nets , 1995, Inf. Comput..

[9]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[10]  Maciej Koutny,et al.  Concurrent and Maximally Concurrent Evolution of Nonsequential Systems , 1986, Theor. Comput. Sci..

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

[12]  Maciej Koutny,et al.  Synthesis of Nets with Step Firing Policies , 2008, Petri Nets.

[13]  Nadia Busi.  Analysis issues in Petri nets with inhibitor arcs , 2002, Theor. Comput. Sci..

[14]  T. Agerwala,et al.  Complete model for representing the coordination of asynchronous processes , 1974 .

[15]  Maciej Koutny,et al.  Processes of membrane systems with promoters and inhibitors , 2008, Theor. Comput. Sci..

[16]  Walter Vogler,et al.  Partial order semantics and read arcs , 1997, Theor. Comput. Sci..

[17]  S. Rao Kosaraju,et al.  Decidability of reachability in vector addition systems (Preliminary Version) , 1982, STOC '82.

[18]  Maciej Koutny,et al.  Processes of Petri Nets with Range Testing , 2007, Fundam. Informaticae.

[19]  Maciej Koutny,et al.  Transition Systems of Elementary Net Systems with Localities , 2006, CONCUR.

[20]  Gabriel Ciobanu,et al.  Translating Mobile Ambients into P Systems , 2007, Electron. Notes Theor. Comput. Sci..

[21]  Ernst W. Mayr.  An Algorithm for the General Petri Net Reachability Problem , 1984, SIAM J. Comput..

[22]  Maciej Koutny,et al.  Synchrony and Asynchrony in Membrane Systems , 2006, Workshop on Membrane Computing.

[23]  Marian Gheorghe,et al.  A Hybrid Approach to Modeling Biological Systems , 2007, Workshop on Membrane Computing.

[24]  Carlos Martín-Vide,et al.  Membrane systems with promoters/inhibitors , 2002, Acta Informatica.

[25]  Jinyuan You,et al.  P Systems and Petri Nets , 2003, Workshop on Membrane Computing.

[26]  Silvano Dal-Zilio,et al.  On the Dynamics of PB Systems: A Petri Net View , 2003, Workshop on Membrane Computing.

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

[28]  Emilian Guțuleac,et al.  Descriptive Timed Membrane Petri Nets for Modelling of Parallel Computing , 2006, Int. J. Comput. Commun. Control.

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

[30]  Giorgio Delzanno,et al.  On the Dynamics of PB Systems with Volatile Membranes , 2007, Workshop on Membrane Computing.

[31]  Maciej Koutny,et al.  Infinite Process Semantics of Inhibitor Nets , 2006, ICATPN.

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

[33]  Wolfgang Reisig,et al.  Hazard detection in a GALS wrapper: a case study , 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).

[34]  Gheorghe Paun,et al.  A guide to membrane computing , 2002, Theor. Comput. Sci..

[35]  Marian Gheorghe,et al.  Networks of Cells and Petri Nets , 2007 .

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

[37]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[38]  Gabriel Ciobanu,et al.  Events, Causality, and Concurrency in Membrane Systems , 2007, Workshop on Membrane Computing.

[39]  Maciej Koutny,et al.  Steps and Coverability in Inhibitor Nets , 2008 .

[40]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

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

[42]  Michel Hack,et al.  Decidability Questions for Petri Nets , 1975, Outstanding Dissertations in the Computer Sciences.

[43]  Luca Bernardinello,et al.  Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets , 2007, Workshop on Membrane Computing.

[44]  Manuel Silva Suárez,et al.  Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems , 1996, Petri Nets.

[45]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[46]  Maciej Koutny,et al.  Synthesis of Elementary Net Systems with Context Arcs and Localities , 2007, Fundam. Informaticae.