Abstract:Background: The modular design of synthetic gene circuits via composable parts (DNA segments) and pools of signal carriers (molecules such as RNA polymerases and ribosomes) has been successfully applied to bacterial systems. However, eukaryotic cells are becoming a preferential host for new synthetic biology applications. Therefore, an accurate description of the intricate network of reactions that take place inside eukaryotic parts and pools is necessary. Rule-based modeling approaches are increasingly used to obtain compact representations of reaction networks in biological systems. However, this approach is intrinsically non-modular and not suitable per se for the description of composable genetic modules. In contrast, the Model Description Language (MDL) adopted by the modeling tool ProMoT is highly modular and it enables a faithful representation of biological parts and pools. Results: We developed a computational framework for the design of complex (eukaryotic) gene circuits by generating dynamic models of parts and pools via the joint usage of the BioNetGen rule-based modeling approach and MDL. The framework converts the specification of a part (or pool) structure into rules that serve as inputs for BioNetGen to calculate the part's species and reactions. The BioNetGen output is translated into an MDL file that gives a complete description of all the reactions that take place inside the part (or pool) together with a proper interface to connect it to other modules in the circuit. In proof-of-principle applications to eukaryotic Boolean circuits with more than ten genes and more than one thousand reactions, our framework yielded proper representations of the circuits' truth tables. Conclusions: For the model-based design of increasingly complex gene circuits, it is critical to achieve exact and systematic representations of the biological processes with minimal effort. Our computational framework provides such a detailed and intuitive way to design new and complex synthetic gene circuits.

Predicting Phenotype from Genotype Through Automatically Composed Petri Nets

Petri Net Models for the Semi-Automatic Construction of Large Scale Biological Networks

Towards Prediction and Prioritization of Disease Genes by the Modularity of Human Phenome-Genome Assembled Network.

Modelling and Simulation of Metabolic Networks Petri Nets Approach and Perspective

Quantitative Petri Net Model of Gene Regulated Metabolic Networks in the Cell

A Systematic Petri Net Approach for Multiple-Scale Modeling and Simulation of Biochemical Processes

Towards Identification of Human Disease Phenotype-Genotype Association via a Network-Module Based Method

JAK/STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems- and synthetic biology

A Petri Nets-Based Framework for Whole-Cell Modeling

Modeling of Cell-to-cell Communication Processes with Petri Nets Using the Example of Quorum Sensing.

Efficient Parameter Estimation Enables the Prediction of Drug Response Using a Mechanistic Pan-Cancer Pathway Model

Generative modeling and latent space arithmetics predict single-cell perturbation response across cell types, studies and species

Predicting cell morphological responses to perturbations using generative modeling

Modular, rule-based modeling for the design of eukaryotic synthetic gene circuits

A Toy Model for Cooperative Phenomena in Molecular Biology and the Utilization of Biochemical Applications of PNS in Genetic Applications

Modular model building

A Cross-Level Information Transmission Network for Predicting Phenotype from New Genotype: Application to Cancer Precision Medicine

Identifying Gene Function and Module Connections by the Integration of Multispecies Expression Compendia

Metagen: A Promising Tool for Modeling Metabolic Networks from Kegg

An Evolutionary Module in Central Metabolism

Predictive networks: a flexible, open source, web application for integration and analysis of human gene networks