Buscar
Mostrando ítems 1-4 de 4
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
(Springer, 2006)
This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.
Capítulo de Libro
Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology
(Springer, 2014)
This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel spatial discrete-stochastic P systems modelling framework. The Workbench incorporates three important ...
Capítulo de Libro
A Modeling Approach Based on P Systems with Bounded Parallelism
(Springer, 2006)
This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm where rules have associated a finite set of attributes and a corresponding function. Attributes and ...
Capítulo de Libro
Membrane System-Based Models for Specifying Dynamical Population Systems
(Springer, 2014)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has been successfully used for modelling population dynamics on real ecosystems. The semantics of these ...