Logo Universitàegli studi di Sassari
titoli, abstracts, parole chiave >>>
Control flow analysis of generalised Boolean networks

Bodei, Chiara and Brodo, Linda and Chiarugi, Davide (2012) Control flow analysis of generalised Boolean networks. Electronic Notes in Theoretical Computer Science, Vol. 284 , p. 3-22. eISSN 1571-0661. Article.

Full text not available from this repository.

DOI: 10.1016/j.entcs.2012.05.012


Generalised Boolean Networks are a well known qualitative model used to analyse the evolution of genetic networks as well as generic biological pathways. Despite the qualitative abstraction due to the few threshold concentration values considered for each biological element in the model, the complexity of the execution of a Generalised Boolean model could be non trivial. In this paper, we propose a tailored process algebra, called Sim-πn, reminiscent of the π-calculus to model GBNs. We further apply the Control Flow Analysis methodology to the resulting computational model for making static (and therefore less computationally expensive) predictions on the dynamical evolution of the investigated networks. The scope is twofold: helping in the setting up of the model, for checking its completeness, and checking the evolution of the model, in terms of the possibility to reach particular threshold values of the biological elements in the model, when varying the initial conditions.

Item Type:Article
ID Code:8204
Uncontrolled Keywords:Presented at the 2nd Proceedings of the International Workshop on Static Analysis and Systems Biology (SASB 2011), 13 September 2011, Venice, Italy.
Subjects:Area 01 - Scienze matematiche e informatiche > INF/01 Informatica
Divisions:001 Università di Sassari > 01-a Nuovi Dipartimenti dal 2012 > Scienze Politiche, Scienze della Comunicazione e Ingegneria dell'Informazione
Deposited On:22 Nov 2012 09:18

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page