Raffaella Gentilini (firstname.lastname@example.org)
Università di Udine (DIMI), Via Le Scienze 206, 33100 Udine, Italy
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 π-calculus descriptions of gene regulatorynetworks 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.