Improving the Timed Automata Approach to Biological Pathway Dynamics

R. Langerak*, Jaco van de Pol, Janine N. Post, Stefano Schivo

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Abstract

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.In this paper we introduce an improved modeling approach that allows us to considerably increase ANIMO’s performances, opening the way for the analysis of bigger models. Moreover, this improvement makes the introduction of model checking in ANIMO a realistic feature, allowing for reduced computation times. The user interface of ANIMO allows to rapidly build non-trivial models and check them against properties formulated in a human-readable language, making modeling a powerful support for biological research.
Original languageEnglish
Title of host publicationModels, Algorithms, Logics and Tools
EditorsLuca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare
Place of PublicationCham
PublisherSpringer
Pages96-111
Number of pages16
ISBN (Electronic)978-3-319-63121-9
ISBN (Print)978-3-319-63120-2
DOIs
Publication statusPublished - 25 Jul 2017
Externally publishedYes

Publication series

SeriesLecture Notes in Computer Science
Volume10460
SeriesTheoretical Computer Science and General Issues (LNCS subseries)
Volume10460

Keywords

  • Systems Biology, Timed Automata, ANIMO, Signalling pathway

Fingerprint

Dive into the research topics of 'Improving the Timed Automata Approach to Biological Pathway Dynamics'. Together they form a unique fingerprint.

Cite this