Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/2893
Title: Petri nets for systems and synthetic biology
Authors: Heiner, M
Gilbert, D
Donaldson, R
Issue Date: 2008
Publisher: Springer
Citation: In M Bernardo, P Degano, and G Zavattaro (Eds.): Formal Methods for Systems Biology SFM, Springer LNCS 5016: 215-264, Jun 2008
Abstract: We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms. Each perspective adds its con- tribution to the understanding of the system, thus the three approaches do not compete, but complement each other. We illustrate our approach by applying it to an extended model of the three stage cascade, which forms the core of the ERK signal transduction pathway. Consequently our focus is on transient behaviour analysis. We demonstrate how quali- tative descriptions are abstractions over stochastic or continuous descrip- tions, and show that the stochastic and continuous models approximate each other. Although our framework is based on Petri nets, it can be applied more widely to other formalisms which are used to model and analyse biochemical networks.
URI: http://bura.brunel.ac.uk/handle/2438/2893
Appears in Collections:Computer Science
Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
bertinoro[1].pdf689.42 kBAdobe PDFView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.