* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Graph Drawing
X-inactivation wikipedia , lookup
Ridge (biology) wikipedia , lookup
Non-coding DNA wikipedia , lookup
Gene desert wikipedia , lookup
List of types of proteins wikipedia , lookup
Community fingerprinting wikipedia , lookup
Molecular evolution wikipedia , lookup
Secreted frizzled-related protein 1 wikipedia , lookup
Genomic imprinting wikipedia , lookup
Genome evolution wikipedia , lookup
Cre-Lox recombination wikipedia , lookup
Transcriptional regulation wikipedia , lookup
Genetic engineering wikipedia , lookup
Promoter (genetics) wikipedia , lookup
Gene expression wikipedia , lookup
Vectors in gene therapy wikipedia , lookup
Endogenous retrovirus wikipedia , lookup
Gene expression profiling wikipedia , lookup
Artificial gene synthesis wikipedia , lookup
2IF35: Formal Modelling in Cell Biology Lambda switch in GINsim Fall 2007 Mohammed El-Kebir Koen Schuurmans Monique Hendriks Tim Muller Outline Genetic toggle switch GINsim Bacteriophage Lambda phage GINsim model Comparison Conclusion Genetic toggle switch Two genes: b and c Promoters pb and pc Resulting proteins: B and C Transcription factors: A, B, C A promotes expression of gene b and c B inhibits expression of gene c C inhibits expression of gene b GINsim GINsim is made for modeling genetic regulatory networks Building blocks are genes, genes have Basal expression level Maximal expression level Genes can be connected with each other, for Activation Inhibition GINsim (ctn.) Genetic switch model: State space generation (a = 1, b = 0, c = 0): GINsim (ctn.) Internally GINsim is based on petri-nets. It is possible to export the regulatory network as a petrinet (PNML) Unfortunately, exported PNMLs are incorrect Every gene corresponds with a place #Tokens in a place denote the expression level Transitions are the various modi of the gene (inhibited, activated, basal, etc.) Bacteriophage Virus that only infects bacteria Etymology: eater of bacteria A phage consists of: Head with DNA or RNA Tail for attachment to cell membrane and penetration Bacteriophage (ctn.) A bacteriophage may have a Lytic cycle Virus keeps on reproducing, ultimately causing lysis of host cell Lysogenic cycle DNA of phage is merged with DNA of host. Peaceful coexistence with the host. Lambda phage Lambda phage is a bacteriophage The choice of the cycle depends on the environment: Infects the E. coli bacterium Has both a lytic and a lysogenic cycle If the environment is not supporting the growth of more potential hosts, then there is no reason to reproduce If the environment is right for potential hosts, then reproduction will result in more infected cells. The choice is regulated by the lambda switch Extremely stable (transition to lytic growth once every 5000 years) But upon environmental change: lytic growth Lambda phage (cnt.) CII Lysogenic cycle cI Prm CI2 Or3 CI Or2 Pr 1. 3. cIII CIII CII Pre cII Or1 2. CIPl cro 4. CII binds to promoter Pre Gene cI is expressed CI binds to PI Gene cIII is expressed Stabilization 1. CIII prevents destruction of CII 2. Dimerized CI binds to Or1 and Or2 prevents expression of cro and enhances expression of cI Lambda phage (cnt.) Lytic cycle cI Cro CroPr 2 Prm Or3 Or2 Cro cro Pre cII Or1 1. 2. 3. Pl CII CII degraded by protease before reaching Pre In absence of CII Pr is weakly active Gene cro is expressed cIII Stabilization 1. Dimer Cro2 binds to Or2 and Or1 prevents expression of cI and enhances expression of cro Lambda phage (cnt.) Lambda switch cI Prm Or3 CII Pr Or2 cro Pre cII Or1 [CII] A As soon as cI or cro is expressed, the switched is locked (just like with the expression of b or c) Comparison Maude PRISM GINsim Qualitative Yes Yes Yes Quantitative No Yes No Model checking LTL TPCTL Path finding Limitations Purely qualitative State explosion for realistic models Only regulatory genetic networks