title: Toward integration of systems biology formalism: the gene regulatory networks case.
abstract: We consider the problem of integrating different systems biology formalisms, namely, the process calculi based formalism, the modeling approach based on systems of differential equations, and the one relying on automata-like descriptions (and model checking). Specifically, we define automatic procedures for translating stochastic pi-calculus descriptions of gene regulatory networks to S-systems differential equations. Tools for extracting and reasoning on (approximate) solutions of S-systems have been recently developed in the literature, and can be exploited to establish a link with automata-based systems biology and model checking techniques.
authors.affiliation: Universita di Udine, DIMI, Via Le Scienze 206, 33100 Udine, Italy. gentilin@dimi.uniud.it
authors.forename: Raffaella
authors.initials: R
authors.lastname: Gentilini
mesh_terms: D000818:Animals; D005786:Gene Expression Regulation / Q000502:physiology*; D006801:Humans; D008957:Models, Genetic; D013269:Stochastic Processes; D049490:Systems Biology / Q000379:methods* / Q000706:statistics & numerical data*