Towards a Petri Net Semantics for Membrane Systems

We consider the modelling of the behaviour of membrane systems using Petri nets. First, a systematic, structural link is established between a basic class of membrane systems and Petri nets. To capture the compartmentisation of membrane systems, localities are proposed as an extension of Petri nets. This leads to a locally maximal concurrency semantics for Petri nets. We indicate how processes for these nets could be defined which should be of use in order to describe what is actually going on during a computation of a membrane system.

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

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

[3]  Kenneth L. McMillan,et al.  Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits , 1992, CAV.

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

[5]  Oscar H. Ibarra,et al.  The Power of Maximal Parallelism in P Systems , 2004, Developments in Language Theory.

[6]  Matteo Cavaliere,et al.  Time-Independent P Systems , 2004, Workshop on Membrane Computing.

[7]  Maciej Koutny,et al.  Canonical prefixes of Petri net unfoldings , 2002, Acta Informatica.

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

[9]  Oscar H. Ibarra,et al.  Catalytic P systems, semilinear sets, and vector addition systems , 2004, Theor. Comput. Sci..

[10]  Gheorghe Paun,et al.  Computing with Membranes: An Introduction , 1999, Bull. EATCS.

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

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

[13]  Rudolf Freund,et al.  Asynchronous P Systems and P Systems Working in the Sequential Mode , 2004, Workshop on Membrane Computing.

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

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

[16]  Rüdiger Valk.  Self-Modifying Nets, a Natural Extension of Petri Nets , 1978, ICALP.

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

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

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

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

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

[22]  Maciej Koutny,et al.  Processes of Petri Nets with Localities , 2006 .

[23]  Catherine Dufourd.  Reseaux de petri avec reset/transfert : decidabilite et indecidabilite , 1998 .

[24]  Walter Vogler,et al.  An Improvement of McMillan's Unfolding Algorithm , 1996, Formal Methods Syst. Des..

[25]  Maciej Koutny,et al.  Petri Net Semantics of Priority Systems , 1992, Theor. Comput. Sci..