P Systems and Petri Nets

We propose an intriguing relationship between P systems and Petri nets. For a basic model of P systems, this paper presents a new formalization based on place/transition nets, which can adopt one transition to implement the structural operational semantics of one evolving rule in P systems and utilize incidence matrix to analyze the computation of one macro-step. We also define the behavioral properties in P systems such as terminating, liveness, and boundedness based on this formalization. For a general class of P systems, we briefly describe a high-level framework called membrane Petri nets (MP-nets). MP-nets extend ordinary colored Petri nets (CPN) through introducing the dynamic features such as dissolve, divide, and move inspired by P systems. Therefore, MP-nets can be a graphical as well as an algebraic modelling tool for both generic P systems and dynamic CPN.

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  Fernando Arroyo,et al.  Towards an Electronic Implementation of Membrane Computing: A Formal Description of Non-deterministic Evolution in Transition P Systems , 2001, DNA.

[3]  Edsger W. Dijkstra,et al.  Hierarchical ordering of sequential processes , 1971, Acta Informatica.

[4]  M.-K. Ghabri,et al.  Dynamic Petri nets and their applications , 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology.

[5]  Rodica Ceterchi,et al.  Dynamic P Systems , 2002, WMC-CdeA.

[6]  Grzegorz Rozenberg,et al.  Dynamic change within workflow systems , 1995, COCS '95.

[7]  Adam Obtulowicz.  Probabilistic P Systems , 2002, WMC-CdeA.

[8]  Marian Gheorghe,et al.  Eilenberg P Systems , 2002, WMC-CdeA.

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

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

[11]  Carlos Martín-Vide,et al.  Membrane systems with carriers , 2002, Theor. Comput. Sci..

[12]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[13]  Eric Badouel,et al.  Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes , 1998 .

[14]  Kamala Krithivasan,et al.  A Survey of Some Variants of P Systems , 2002, WMC-CdeA.

[15]  Mario J. Pérez-Jiménez,et al.  A Formalization of Transition P Systems , 2002, Fundam. Informaticae.

[16]  Carlos Martín-Vide,et al.  Computing with Membranes: Variants with an Enhanced Membrane Handling , 2001, DNA.

[17]  Matteo Cavaliere.  Evolution-Communication P Systems , 2002, WMC-CdeA.

[18]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.