Performance evaluation comes to life: quantitative methods applied to biological systems

Authors:
Stephen Gilmore;Jane Hillston
Affiliations:
University of Edinburgh, Edinburgh, Scotland;University of Edinburgh, Edinburgh, Scotland
Venue:
ACM SIGMETRICS Performance Evaluation Review
Year:
2008

Citing 23
Cited 0

Communicating sequential processes

Communicating sequential processes
A compositional approach to performance modelling

A compositional approach to performance modelling
A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time

Theoretical Computer Science
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Communication and Concurrency

Communication and Concurrency
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Stochastic reaction-diffusion simulation with MesoRD

Bioinformatics
Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach

Bioinformatics
Performance Analysis Using Stochastic Petri Nets

IEEE Transactions on Computers
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathways

Bioinformatics
Modelling Intracellular Fate of FGF Receptors With BioAmbients

Electronic Notes in Theoretical Computer Science (ENTCS)
A unifying framework for modelling and analysing biochemical pathways using Petri nets

CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Probabilistic model checking of complex biological pathways

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Stronger computational modelling of signalling pathways using both continuous and discrete-state methods

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
From petri nets to differential equations – an integrative approach for biochemical network analysis

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
VICE: a VIrtual CEll

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch

Transactions on Computational Systems Biology VII
A graphical representation for biological processes in the stochastic pi-calculus

Transactions on Computational Systems Biology VII

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present an introduction to the use of quantitative methods in modelling and analysis of biological systems. We begin with a survey of the methods presently in widespread use in computational biology. We then continue to consider how the modelling techniques and tools which have been used successfully in performance evaluation studies of hardware and software systems are now being applied to model functions and processes in living systems.