A simulation algorithm for multienvironment probabilistic P systems: A formal verification

Abstract:

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. © 2011 World Scientific Publishing Company.

Año de publicación:

2011

Keywords:

• P systems
• Biological modeling
• Formal verification

Fuente:

scopus