A hybrid approach to modeling biological systems

Authors:
Francesco Bernardini;Marian Gheorghe;Francisco José Romero-Campero;Neil Walkinshaw
Affiliations:
Leiden Institute of Advanced Computer Science, University of Leiden, Leiden, The Netherlands;Department of Computer Science, University of Sheffield, Sheffield, UK;Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain;Department of Computer Science, University of Sheffield, Sheffield, UK
Venue:
WMC'07 Proceedings of the 8th international conference on Membrane computing
Year:
2007

Citing 14
Cited 7

Elements of distributed algorithms: modeling and analysis with Petri nets

Elements of distributed algorithms: modeling and analysis with Petri nets
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Computing with membranes

Journal of Computer and System Sciences
Dynamically Discovering Likely Program Invariants to Support Program Evolution

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications

Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Discrete solutions to differential equations by metabolic P systems

Theoretical Computer Science
Synchrony and asynchrony in membrane systems

WMC'06 Proceedings of the 7th international conference on Membrane Computing
Towards a hybrid metabolic algorithm

WMC'06 Proceedings of the 7th international conference on Membrane Computing
Probabilistic model checking of complex biological pathways

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
P systems and the modeling of biochemical oscillations

WMC'05 Proceedings of the 6th international conference on Membrane Computing
Towards a petri net semantics for membrane systems

WMC'05 Proceedings of the 6th international conference on Membrane Computing
Analysis of signalling pathways using continuous time markov chains

Transactions on Computational Systems Biology VI
P systems, a new computational modelling tool for systems biology

Transactions on Computational Systems Biology VI
PRISM: a tool for automatic verification of probabilistic systems

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems

PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets

ACM SIGMETRICS Performance Evaluation Review
An Approach to the Engineering of Cellular Models Based on P Systems

CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Deterministic and stochastic P systems for modelling cellular processes

Natural Computing: an international journal
An integrated approach to P systems formal verification

CMC'10 Proceedings of the 11th international conference on Membrane computing
Formal verification and testing based on p systems

WMC'09 Proceedings of the 10th international conference on Membrane Computing
Formal verification of p systems with active membranes through model checking

CMC'11 Proceedings of the 12th international conference on Membrane Computing
Modeling membrane systems using colored stochastic Petri nets

Natural Computing: an international journal

Quantified Score

Hi-index	0.00

Visualization

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.