On the Dynamics of PB Systems: A Petri Net View

We study dynamical properties of PB systems, a new computational model of biological processes, and propose a compositional encoding of PB systems into Petri nets. Building on this relation, we show that three properties: boundedness, reachability and cyclicity, which we claim are useful in practice, are all decidable.

[1]  Vincenzo Manca,et al.  Dynamical aspects of P systems. , 2003, Bio Systems.

[2]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[3]  Jiacun Wang,et al.  Timed Petri Nets: Theory and Application , 1998 .

[4]  Jens Palsberg,et al.  Complexity Results for 1-Safe Nets , 1993, Theor. Comput. Sci..

[5]  Gheorghe Paun.  Computing with Membranes (P Systems): An Introduction , 2001, Current Trends in Theoretical Computer Science.

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

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

[8]  Peter J. Haas,et al.  Stochastic Petri Nets: Modelling, Stability, Simulation , 2002 .

[9]  Mogens Nielsen,et al.  Decidability Issues for Petri Nets - a survey , 1994, Bull. EATCS.

[10]  Philippe Schnoebelen,et al.  Reset Nets Between Decidability and Undecidability , 1998, ICALP.

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

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

[13]  Gérard Roucairol,et al.  Linear Algebra in Net Theory , 1979, Advanced Course: Net Theory and Applications.