Presentation
A Hybrid Approach to Modeling Biological Systems
Author/s | Bernardini, Francesco
Gheorghe, Marian Romero Campero, Francisco José ![]() ![]() ![]() ![]() ![]() ![]() ![]() Walkinshaw, Neil |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Date | 2007 |
Published in |
|
ISBN/ISSN | 978-3-540-77311-5 0302-9743 |
Abstract | This paper investigates a hybrid approach to modeling molecular
interactions in biology. P systems, π-calculus, and Petri nets models,
and two tools, Daikon, used in software reverse-engineering, and
PRISM, a probabilistic ... This paper investigates a hybrid approach to modeling molecular interactions in biology. P systems, π-calculus, and Petri nets models, and two tools, Daikon, used in software reverse-engineering, and PRISM, a probabilistic model checker, are investigated for their expressiveness and complementary roles in describing and analyzing biological systems. A simple case study illustrates this approach. |
Citation | Bernardini, F., Gheorghe, M., Romero Campero, F.J. y Walkinshaw, N. (2007). A Hybrid Approach to Modeling Biological Systems. En WMC 2007: 8th International Workshop on Membrane Computing (138-159), Thessaloniki, Greece: Springer. |
Files | Size | Format | View | Description |
---|---|---|---|---|
A Hybrid Approach to Modeling ... | 1.015Mb | ![]() | View/ | |