Research Group on Natural Computing

Membrane Computing has recently proved to be a suitable framework for addressing the modelling of dynamical biological systems in general, and ecosystems in particular. Due to the inherent randomness and uncertainty in biological systems, when designing a model the relevant tasks to be addressed are the validation and virtual experimentation processes, rather than the formal verification. It is therefore crucial to rely on software implementations of efficient simulation algorithms. This paper presents a simple (but realistic enough) ecosystem where a carnivore and several herbivorous species interact. The model of this ecosystem has been used to compare experimentally the performance of two different simulation algorithms.