Improving the Timed Automata Approach to Biological Pathway Dynamics

Biological systems such as regulatory or gene networks can be seen as a particular type of distributed systems, and for this reason they can be modeled within the Timed Automata paradigm, which was developed in the computer science context. However, tools designed to model distributed systems often require a computer science background, making their use less attractive for biologists. ANIMO (Analysis of Networks with Interactive MOdeling) was built with the aim to provide biologists with access to the powerful modeling formalism of Timed Automata in a user friendly way. Continuous dynamics is handled by discrete approximations.

[1]  Hidde de Jong,et al.  Genetic Network Analyzer: qualitative simulation of genetic regulatory networks , 2003, Bioinform..

[2]  Jan Tretmans,et al.  Model-Based Testing and Some Steps towards Test-Based Modelling , 2011, SFM.

[3]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[4]  J. Kornhauser,et al.  PhosphoSite: A bioinformatics resource dedicated to physiological protein phosphorylation , 2004, Proteomics.

[5]  Jane Hillston,et al.  Bio-PEPA: A framework for the modelling and analysis of biological systems , 2009, Theor. Comput. Sci..

[6]  Jaco van de Pol,et al.  Modelling biological pathway dynamics with Timed Automata , 2012, 2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE).

[7]  Jaco van de Pol,et al.  Modelling with ANIMO: between fuzzy logic and differential equations , 2016, BMC Systems Biology.

[8]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[9]  Radu Mateescu,et al.  Temporal logic patterns for querying dynamic models of cellular interaction networks , 2008, ECCB.

[10]  Serafim Batzoglou,et al.  Current Progress in Static and Dynamic Modeling of Biological Networks , 2010 .

[11]  Jaco van de Pol,et al.  Modeling Biological Pathway Dynamics With Timed Automata , 2014, IEEE Journal of Biomedical and Health Informatics.

[12]  P. Bastiaens,et al.  Growth factor-induced MAPK network topology shapes Erk response determining PC-12 cell fate , 2007, Nature Cell Biology.

[13]  Sven Sahle,et al.  Computational modeling of biochemical networks using COPASI. , 2009, Methods in molecular biology.

[14]  Stefano Schivo,et al.  Biological networks 101: computational modeling for molecular biologists. , 2014, Gene.

[15]  John Boyle,et al.  Cytoscape: a community-based framework for network modeling. , 2009, Methods in molecular biology.

[16]  Jaco van de Pol,et al.  Setting Parameters for Biological Models With ANIMO , 2014, SynCoP.

[18]  Kim G. Larsen,et al.  Statistical model checking for biological systems , 2015, International Journal on Software Tools for Technology Transfer.

[19]  中尾 光輝,et al.  KEGG(Kyoto Encyclopedia of Genes and Genomes)〔和文〕 (特集 ゲノム医学の現在と未来--基礎と臨床) -- (データベース) , 2000 .

[20]  Corrado Priami,et al.  Modelling and simulation of biological processes in BlenX , 2008, PERV.

[21]  Alfons Laarman,et al.  Multi-core Reachability for Timed Automata , 2012, FORMATS.

[22]  Masaru Tomita,et al.  E-CELL: software environment for whole-cell simulation , 1999, Bioinform..

[23]  Valérie Issarny,et al.  Formal Methods for Eternal Networked Software Systems , 2011, Lecture Notes in Computer Science.