Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Biomodel engineering – from structure to behavior
Transactions on Computational Systems Biology XII
Predicting phenotype from genotype through automatically composed petri nets
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
JAK-STAT signalling as example for a database-supported modular modelling concept
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
| Hi-index | 0.00 |
Based on Petri nets as formal language for biomodel engineering, we describe the general concept of a modular modelling approach that considers the functional coupling of modules representing components of the genome, the transcriptome, and the proteome in the form of an executable model. The composable, metadata-containing Petri net modules are organized in a database with version control and accessible through a web interface. The effects of genes and their mutated alleles on downstream components are modelled by gene modules coupled to protein modules through RNA modules by specific interfaces designed for the automatic, database-assisted composition. Automatically assembled models may integrate forward and reverse engineered modules and consider cell type-specific gene expression patterns. Prospects for automatic model generation including its application to systems biology, synthetic biology, and to functional genomics are discussed.