On verifying Bio-PEPA models

CMSB 2010 - Proceedings of the 8th International Conference on Computational Methods in Systems Biology

Volumn , Issue , 2010, Pages 23-32

  Clark, Allan ^a   Gilmore, Stephen ^a   Guerriero, Maria Luisa ^a   Kemper, Peter ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b Dept of Economics and Thomas Jefferson Program in Public Policy at the College of William and Mary   (United States)

Author keywords

Bio PEPA; Gillespie algorithm; Traviando; Verification

Indexed keywords

BIO-PEPA; BIOLOGICAL PHENOMENA; COMPUTATIONAL MODEL; CONCEPTUAL MODEL; GILLESPIE ALGORITHM; JAK/STAT; MODELLING LANGUAGE; NON-TRIVIAL TASKS; PROCESS ALGEBRAS; SIGNALLING PATHWAYS; STOCHASTIC SIMULATIONS; TRAVIANDO; VERIFICATION PROCESS;

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER SIMULATION; DYNAMIC ANALYSIS; TRACE ANALYSIS;

STOCHASTIC MODELS;

EID: 78649900999     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1839764.1839769     Document Type: Conference Paper

References (20)

1. O. Balci. Quality assessment, verification, and validation of modeling and simulation applications. In Winter Simulation Conference, pages 122-129, 2004.
2. Bio-PEPA Home Page. http://www.biopepa.org/.
3. C. Chaouiya. Petri net modelling of biological networks. Briefings in Bioinformatics, 8(4):210-219, 2007.
4. F. Ciocchetta, A. Duguid, S. Gilmore, M. L. Guerriero, and J. Hillston. The Bio-PEPA tool suite. In Proceedings of QEST'09, pages 309-310, 2009.
5. F. Ciocchetta and J. Hillston. Bio-PEPA: a Framework for the Modelling and Analysis of Biological Systems. Theoretical Computer Science, 410(33-34):3065-3084, 2009.
6. A. Duguid, S. Gilmore, M. L. Guerriero, J. Hillston, and L. Loewe. Design and Development of Software Tools for Bio-PEPA. In Proc. of WSC'09, pages 956-967. IEEE Press, 2009.
7. F. Fages and A. Rizk. On the analysis of numerical data time series in temporal logic. In Computational Methods in Systems Biology '07, pages 48-63. Springer, 2007. LNCS 4695.
8. E. Grafahrend-Belau, F. Schreiber, M. Heiner, A. Sackmann, B. H. Junker, S. Grunwald, A. Speer, K. Winder, and I. Koch. Modularization of biochemical networks based on classification of Petri net t-invariants. BMC Bioinformatics, 9(90), 2008.
9. M. L. Guerriero. Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway. Trans. On Computational and Systems Biology XI, pages 90-115, 2009.
10. M. Heiner. Understanding network behavior by structured representations of transition invariants. In Algorithmic Bioprocesses. Springer-Verlag, 2009.
11. M. Heiner, D. Gilbert, and R. Donaldson. Petri Nets for Systems and Synthetic Biology. In SFM'08, volume 5016 of LNCS, pages 215-264, 2008.
12. P. Kemper and C. Tepper. Automated trace analysis of discrete-event system models. IEEE Transactions on Software Engineering, 35(2):195-208, 2009.
13. X. Liu and D. Gilbert. BioNessie: A biochemical networks simulation environment. Journal of Cell Research, 2010. To appear.
14. J. Martinez and M. Silva. A simple and fast algorithm to obtain all invariants of a generalized Petri net. In Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, pages 301-310. Springer-Verlag, 1982.
15. MATLAB. http://www.mathworks.com/.
16. MC2(PLTLc) Home Page. http://www.brc.dcs.gla.ac.uk/software/mc2/.
17. B. O. Palsson. Systems Biology: Properties of Reconstructed Networks. Cambridge University Press, 2006.
18. A. Sackmann, D. Formanowicz, P. Formanowicz, I. Koch, and J. Blazewicz. An analysis of the Petri net based model of the human body iron homeostasis process. Computational Biology and Chemistry, 31(1):1-10, 2007.
19. S. Schuster and C. Hilgetag. What information about the conserved-moiety structure of chemical reaction systems can be derived from their stoichiometry? Journal of Physical Chemistry, 99(20):8017-8023, 1995.
20. Traviando Home Page. www.cs.wm.edu/~kemper/traviando.html.