From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven ŠAFRÁNEK David

Year of publication 2008
Type Article in Proceedings
Conference Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords transcriptional networks; model checking; B. subtilis
Description The central mechanism which drives every living cell is protein synthesis, the so-called transcription, which is realized according to the genetic code. There are complex regulatory interactions that control transcription of genes to proteins. Owing to their inherent complexity, analysis of dynamical models of such interactions requires a scalable computational approach. In this paper we employ parallel LTL model checking for a case study of selected dynamic properties of an in silico model of transcription in Bacillus subtilis, a bacterium living in soil. Moreover, we show the general fact that crucial LTL properties characterising transcriptional dynamics can be inferred from network motifs commonly studied in systems biology.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.