Repositorio de producción científica de la Universidad de Sevilla

A Hybrid Approach to Modeling Biological Systems

 

Advanced Search
 
Opened Access A Hybrid Approach to Modeling Biological Systems
Cites

Show item statistics
Icon
Export to
Author: 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: WMC 2007: 8th International Workshop on Membrane Computing (2007), p 138-159
ISBN/ISSN: 978-3-540-77311-5
0302-9743
Document type: Presentation
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 model checker, are investigated for their expressiveness and complementary roles in describing and analyzing biological systems. A simple case study illustrates this approach.
Cite: 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.
Size: 1.015Mb
Format: PDF

URI: https://hdl.handle.net/11441/86647

DOI: 10.1007/978-3-540-77312-2_9

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)