A Simulation Algorithm for Multienvironment Probabilistic P Systems: a Formal Verification

Multienvironment probabilistic P systems provide a framework of specification for modeling population biology. It has been used to model real ecosystems in a comprehensible, modular and probabilistic way. However, simulators are needed for virtual experimentation. Hence, the development of correct simulation algorithms becomes a critical point. In this paper we present a formal verification of a new algorithm of simulation designed for this kind of probabilistic P systems.

[1]  Mario J. Pérez-Jiménez,et al.  An Overview of P-Lingua 2.0 , 2009, Workshop on Membrane Computing.

[2]  Van Nguyen,et al.  An Algorithm for Non-deterministic Object Distribution in P Systems and Its Implementation in Hardware , 2009, Workshop on Membrane Computing.

[3]  Gheorghe Paun,et al.  Membrane Computing as a Modeling Framework. Cellular Systems Case Studies , 2008, SFM.

[4]  Mario J. Pérez-Jiménez,et al.  A P System Based Model of an Ecosystem of Some Scavenger Birds , 2009, Workshop on Membrane Computing.

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

[6]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.