Create repressilator with antimony.
http://antimony.sourceforge.net/ https://tellurium.readthedocs.io/en/latest/antimony.html
import os
from pathlib import Path
import antimony
import libsbml
from combine_notebooks.validation.validation_sbml import validate_sbml
def create_repressilator(sbml_path: Path) -> libsbml.SBMLDocument:
"""Create repressilator with antimony."""
model: str = """
model antimony_repressilator
# compartment
compartment cell = 1
# species
species PX = 0
species PY = 0
species PZ = 0
species X = 0
species Y = 20
species Z = 0
# parameters
beta = 0.2
alpha0 = 0.2164
alpha = 216.404
eff = 20
n = 2
KM = 40
tau_mRNA = 2
tau_prot = 10
ps_a = 0.5
ps_0 = 0.0005
# assignment rules
t_ave := tau_mRNA/ln(2);
beta := tau_mRNA/tau_prot;
k_tl := eff/t_ave;
a_tr := (ps_a - ps_0)*60;
a0_tr := ps_0*60;
kd_prot := ln(2)/tau_prot;
kd_mRNA := ln(2)/tau_mRNA;
alpha := a_tr*eff*tau_prot/(ln(2)*KM);
alpha0 := (a0_tr*eff*tau_prot)/(ln(2)*KM);
# reactions
X ->; kd_mRNA*X;
Y ->; kd_mRNA*Y;
Z ->; kd_mRNA*Z;
-> PX; k_tl*X;
-> PY; k_tl*Y;
-> PZ; k_tl*Z;
PX ->; kd_prot*PX;
PY ->; kd_prot*PY;
PZ ->; kd_prot*PZ;
-> X; a0_tr +a_tr *KM^n/(KM^n +PZ ^n);
-> Y; a0_tr +a_tr *KM^n/(KM^n +PX ^n);
-> Z; a0_tr +a_tr *KM^n/(KM^n +PY ^n);
# annotations
cell identity "http://identifiers.org/SBO:0000290"
cell identity "http://identifiers.org/GO:0005623"
PX identity "http://identifiers.org/SBO:0000252"
PX identity "http://identifiers.org/uniprot/P03023"
PY identity "http://identifiers.org/SBO:0000252"
PY identity "http://identifiers.org/uniprot/P04483"
PZ identity "http://identifiers.org/SBO:0000252"
PZ identity "http://identifiers.org/uniprot/P03034"
X identity "http://identifiers.org/SBO:0000250"
X identity "http://identifiers.org/CHEBI:33699"
X identity "http://identifiers.org/kegg.compound/C00046"
X identity "http://identifiers.org/uniprot/P03023"
Y identity "http://identifiers.org/SBO:0000250"
Y identity "http://identifiers.org/CHEBI:33699"
Y identity "http://identifiers.org/kegg.compound/C00046"
Y identity "http://identifiers.org/uniprot/P04483"
Z identity "http://identifiers.org/SBO:0000250"
Z identity "http://identifiers.org/CHEBI:33699"
Z identity "http://identifiers.org/kegg.compound/C00046"
Z identity "http://identifiers.org/uniprot/P03034"
tau_mRNA identity "http://identifiers.org/SBO:0000356"
k_tl identity "http://identifiers.org/SBO:0000016"
t_ave identity "http://identifiers.org/SBO:0000348"
kd_prot identity "http://identifiers.org/SBO:0000356"
a0_tr identity "http://identifiers.org/SBO:0000485"
a_tr identity "http://identifiers.org/SBO:0000186"
_J0 identity "http://identifiers.org/SBO:0000179"
_J0 identity "http://identifiers.org/GO:0006402"
_J1 identity "http://identifiers.org/SBO:0000179"
_J1 identity "http://identifiers.org/GO:0006402"
_J2 identity "http://identifiers.org/SBO:0000179"
_J2 identity "http://identifiers.org/GO:0006402"
_J3 identity "http://identifiers.org/SBO:0000184"
_J3 identity "http://identifiers.org/GO:0006412"
_J4 identity "http://identifiers.org/SBO:0000184"
_J4 identity "http://identifiers.org/GO:0006412"
_J5 identity "http://identifiers.org/SBO:0000184"
_J5 identity "http://identifiers.org/GO:0006412"
_J6 identity "http://identifiers.org/SBO:0000179"
_J6 identity "http://identifiers.org/GO:0030163"
_J7 identity "http://identifiers.org/SBO:0000179"
_J7 identity "http://identifiers.org/GO:0030163"
_J8 identity "http://identifiers.org/SBO:0000179"
_J8 identity "http://identifiers.org/GO:0030163"
_J9 identity "http://identifiers.org/SBO:0000183"
_J9 identity "http://identifiers.org/GO:0006351"
_J10 identity "http://identifiers.org/SBO:0000183"
_J10 identity "http://identifiers.org/GO:0006351"
_J11 identity "http://identifiers.org/SBO:0000184"
_J11 identity "http://identifiers.org/GO:0006351"
end
"""
print(model)
status = antimony.loadAntimonyString(model)
print(f"Antimony status: {status}")
print(antimony.getLastError())
sbml_str = antimony.getSBMLString()
print(sbml_str)
print(antimony.getSBMLWarnings())
# validation
doc = libsbml.readSBMLFromString(sbml_str)
validate_sbml(doc)
# write SBML
os.makedirs(os.path.dirname(str(sbml_path)), exist_ok=True)
libsbml.writeSBMLToFile(doc, str(sbml_path))
return doc
if __name__ == "__main__":
from combine_notebooks import RESULTS_DIR
create_repressilator(sbml_path=RESULTS_DIR / "repressilator_sbml_antimony.xml")
model antimony_repressilator
# compartment
compartment cell = 1
# species
species PX = 0
species PY = 0
species PZ = 0
species X = 0
species Y = 20
species Z = 0
# parameters
beta = 0.2
alpha0 = 0.2164
alpha = 216.404
eff = 20
n = 2
KM = 40
tau_mRNA = 2
tau_prot = 10
ps_a = 0.5
ps_0 = 0.0005
# assignment rules
t_ave := tau_mRNA/ln(2);
beta := tau_mRNA/tau_prot;
k_tl := eff/t_ave;
a_tr := (ps_a - ps_0)*60;
a0_tr := ps_0*60;
kd_prot := ln(2)/tau_prot;
kd_mRNA := ln(2)/tau_mRNA;
alpha := a_tr*eff*tau_prot/(ln(2)*KM);
alpha0 := (a0_tr*eff*tau_prot)/(ln(2)*KM);
# reactions
X ->; kd_mRNA*X;
Y ->; kd_mRNA*Y;
Z ->; kd_mRNA*Z;
-> PX; k_tl*X;
-> PY; k_tl*Y;
-> PZ; k_tl*Z;
PX ->; kd_prot*PX;
PY ->; kd_prot*PY;
PZ ->; kd_prot*PZ;
-> X; a0_tr +a_tr *KM^n/(KM^n +PZ ^n);
-> Y; a0_tr +a_tr *KM^n/(KM^n +PX ^n);
-> Z; a0_tr +a_tr *KM^n/(KM^n +PY ^n);
# annotations
cell identity "http://identifiers.org/SBO:0000290"
cell identity "http://identifiers.org/GO:0005623"
PX identity "http://identifiers.org/SBO:0000252"
PX identity "http://identifiers.org/uniprot/P03023"
PY identity "http://identifiers.org/SBO:0000252"
PY identity "http://identifiers.org/uniprot/P04483"
PZ identity "http://identifiers.org/SBO:0000252"
PZ identity "http://identifiers.org/uniprot/P03034"
X identity "http://identifiers.org/SBO:0000250"
X identity "http://identifiers.org/CHEBI:33699"
X identity "http://identifiers.org/kegg.compound/C00046"
X identity "http://identifiers.org/uniprot/P03023"
Y identity "http://identifiers.org/SBO:0000250"
Y identity "http://identifiers.org/CHEBI:33699"
Y identity "http://identifiers.org/kegg.compound/C00046"
Y identity "http://identifiers.org/uniprot/P04483"
Z identity "http://identifiers.org/SBO:0000250"
Z identity "http://identifiers.org/CHEBI:33699"
Z identity "http://identifiers.org/kegg.compound/C00046"
Z identity "http://identifiers.org/uniprot/P03034"
tau_mRNA identity "http://identifiers.org/SBO:0000356"
k_tl identity "http://identifiers.org/SBO:0000016"
t_ave identity "http://identifiers.org/SBO:0000348"
kd_prot identity "http://identifiers.org/SBO:0000356"
a0_tr identity "http://identifiers.org/SBO:0000485"
a_tr identity "http://identifiers.org/SBO:0000186"
_J0 identity "http://identifiers.org/SBO:0000179"
_J0 identity "http://identifiers.org/GO:0006402"
_J1 identity "http://identifiers.org/SBO:0000179"
_J1 identity "http://identifiers.org/GO:0006402"
_J2 identity "http://identifiers.org/SBO:0000179"
_J2 identity "http://identifiers.org/GO:0006402"
_J3 identity "http://identifiers.org/SBO:0000184"
_J3 identity "http://identifiers.org/GO:0006412"
_J4 identity "http://identifiers.org/SBO:0000184"
_J4 identity "http://identifiers.org/GO:0006412"
_J5 identity "http://identifiers.org/SBO:0000184"
_J5 identity "http://identifiers.org/GO:0006412"
_J6 identity "http://identifiers.org/SBO:0000179"
_J6 identity "http://identifiers.org/GO:0030163"
_J7 identity "http://identifiers.org/SBO:0000179"
_J7 identity "http://identifiers.org/GO:0030163"
_J8 identity "http://identifiers.org/SBO:0000179"
_J8 identity "http://identifiers.org/GO:0030163"
_J9 identity "http://identifiers.org/SBO:0000183"
_J9 identity "http://identifiers.org/GO:0006351"
_J10 identity "http://identifiers.org/SBO:0000183"
_J10 identity "http://identifiers.org/GO:0006351"
_J11 identity "http://identifiers.org/SBO:0000184"
_J11 identity "http://identifiers.org/GO:0006351"
end
Antimony status: 1
<?xml version="1.0" encoding="UTF-8"?>
<!-- Created by libAntimony version v2.13.2 with libSBML version 5.19.5. -->
<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" level="3" version="1">
<model metaid="antimony_repressilator" id="antimony_repressilator">
<listOfCompartments>
<compartment sboTerm="SBO:0000410" id="default_compartment" spatialDimensions="3" size="1" constant="true"/>
<compartment metaid="antimony_repressilator.cell" id="cell" spatialDimensions="3" size="1" constant="true">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.cell">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000290"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0005623"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</compartment>
</listOfCompartments>
<listOfSpecies>
<species metaid="antimony_repressilator.PX" id="PX" compartment="default_compartment" initialConcentration="0" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.PX">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000252"/>
<rdf:li rdf:resource="http://identifiers.org/uniprot/P03023"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</species>
<species metaid="antimony_repressilator.PY" id="PY" compartment="default_compartment" initialConcentration="0" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.PY">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000252"/>
<rdf:li rdf:resource="http://identifiers.org/uniprot/P04483"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</species>
<species metaid="antimony_repressilator.PZ" id="PZ" compartment="default_compartment" initialConcentration="0" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.PZ">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000252"/>
<rdf:li rdf:resource="http://identifiers.org/uniprot/P03034"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</species>
<species metaid="antimony_repressilator.X" id="X" compartment="default_compartment" initialConcentration="0" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.X">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000250"/>
<rdf:li rdf:resource="http://identifiers.org/CHEBI:33699"/>
<rdf:li rdf:resource="http://identifiers.org/kegg.compound/C00046"/>
<rdf:li rdf:resource="http://identifiers.org/uniprot/P03023"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</species>
<species metaid="antimony_repressilator.Y" id="Y" compartment="default_compartment" initialConcentration="20" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.Y">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000250"/>
<rdf:li rdf:resource="http://identifiers.org/CHEBI:33699"/>
<rdf:li rdf:resource="http://identifiers.org/kegg.compound/C00046"/>
<rdf:li rdf:resource="http://identifiers.org/uniprot/P04483"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</species>
<species metaid="antimony_repressilator.Z" id="Z" compartment="default_compartment" initialConcentration="0" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.Z">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000250"/>
<rdf:li rdf:resource="http://identifiers.org/CHEBI:33699"/>
<rdf:li rdf:resource="http://identifiers.org/kegg.compound/C00046"/>
<rdf:li rdf:resource="http://identifiers.org/uniprot/P03034"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</species>
</listOfSpecies>
<listOfParameters>
<parameter id="beta" constant="false"/>
<parameter id="alpha0" constant="false"/>
<parameter id="alpha" constant="false"/>
<parameter id="eff" value="20" constant="true"/>
<parameter id="n" value="2" constant="true"/>
<parameter id="KM" value="40" constant="true"/>
<parameter metaid="antimony_repressilator.tau_mRNA" id="tau_mRNA" value="2" constant="true">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.tau_mRNA">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000356"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</parameter>
<parameter id="tau_prot" value="10" constant="true"/>
<parameter id="ps_a" value="0.5" constant="true"/>
<parameter id="ps_0" value="0.0005" constant="true"/>
<parameter metaid="antimony_repressilator.t_ave" id="t_ave" constant="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.t_ave">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000348"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</parameter>
<parameter metaid="antimony_repressilator.k_tl" id="k_tl" constant="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.k_tl">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000016"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</parameter>
<parameter metaid="antimony_repressilator.a_tr" id="a_tr" constant="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.a_tr">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000186"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</parameter>
<parameter metaid="antimony_repressilator.a0_tr" id="a0_tr" constant="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.a0_tr">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000485"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</parameter>
<parameter metaid="antimony_repressilator.kd_prot" id="kd_prot" constant="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator.kd_prot">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000356"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
</parameter>
<parameter id="kd_mRNA" constant="false"/>
</listOfParameters>
<listOfRules>
<assignmentRule variable="beta">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<divide/>
<ci> tau_mRNA </ci>
<ci> tau_prot </ci>
</apply>
</math>
</assignmentRule>
<assignmentRule variable="alpha0">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<divide/>
<apply>
<times/>
<ci> a0_tr </ci>
<ci> eff </ci>
<ci> tau_prot </ci>
</apply>
<apply>
<times/>
<apply>
<ln/>
<cn type="integer"> 2 </cn>
</apply>
<ci> KM </ci>
</apply>
</apply>
</math>
</assignmentRule>
<assignmentRule variable="alpha">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<divide/>
<apply>
<times/>
<ci> a_tr </ci>
<ci> eff </ci>
<ci> tau_prot </ci>
</apply>
<apply>
<times/>
<apply>
<ln/>
<cn type="integer"> 2 </cn>
</apply>
<ci> KM </ci>
</apply>
</apply>
</math>
</assignmentRule>
<assignmentRule variable="t_ave">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<divide/>
<ci> tau_mRNA </ci>
<apply>
<ln/>
<cn type="integer"> 2 </cn>
</apply>
</apply>
</math>
</assignmentRule>
<assignmentRule variable="k_tl">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<divide/>
<ci> eff </ci>
<ci> t_ave </ci>
</apply>
</math>
</assignmentRule>
<assignmentRule variable="a_tr">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<times/>
<apply>
<minus/>
<ci> ps_a </ci>
<ci> ps_0 </ci>
</apply>
<cn type="integer"> 60 </cn>
</apply>
</math>
</assignmentRule>
<assignmentRule variable="a0_tr">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<times/>
<ci> ps_0 </ci>
<cn type="integer"> 60 </cn>
</apply>
</math>
</assignmentRule>
<assignmentRule variable="kd_prot">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<divide/>
<apply>
<ln/>
<cn type="integer"> 2 </cn>
</apply>
<ci> tau_prot </ci>
</apply>
</math>
</assignmentRule>
<assignmentRule variable="kd_mRNA">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<divide/>
<apply>
<ln/>
<cn type="integer"> 2 </cn>
</apply>
<ci> tau_mRNA </ci>
</apply>
</math>
</assignmentRule>
</listOfRules>
<listOfReactions>
<reaction metaid="antimony_repressilator._J0" id="_J0" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J0">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000179"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0006402"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfReactants>
<speciesReference species="X" stoichiometry="1" constant="true"/>
</listOfReactants>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<times/>
<ci> kd_mRNA </ci>
<ci> X </ci>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction metaid="antimony_repressilator._J1" id="_J1" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J1">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000179"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0006402"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfReactants>
<speciesReference species="Y" stoichiometry="1" constant="true"/>
</listOfReactants>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<times/>
<ci> kd_mRNA </ci>
<ci> Y </ci>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction metaid="antimony_repressilator._J2" id="_J2" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J2">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000179"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0006402"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfReactants>
<speciesReference species="Z" stoichiometry="1" constant="true"/>
</listOfReactants>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<times/>
<ci> kd_mRNA </ci>
<ci> Z </ci>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction metaid="antimony_repressilator._J3" id="_J3" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J3">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000184"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0006412"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfProducts>
<speciesReference species="PX" stoichiometry="1" constant="true"/>
</listOfProducts>
<listOfModifiers>
<modifierSpeciesReference species="X"/>
</listOfModifiers>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<times/>
<ci> k_tl </ci>
<ci> X </ci>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction metaid="antimony_repressilator._J4" id="_J4" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J4">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000184"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0006412"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfProducts>
<speciesReference species="PY" stoichiometry="1" constant="true"/>
</listOfProducts>
<listOfModifiers>
<modifierSpeciesReference species="Y"/>
</listOfModifiers>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<times/>
<ci> k_tl </ci>
<ci> Y </ci>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction metaid="antimony_repressilator._J5" id="_J5" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J5">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000184"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0006412"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfProducts>
<speciesReference species="PZ" stoichiometry="1" constant="true"/>
</listOfProducts>
<listOfModifiers>
<modifierSpeciesReference species="Z"/>
</listOfModifiers>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<times/>
<ci> k_tl </ci>
<ci> Z </ci>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction metaid="antimony_repressilator._J6" id="_J6" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J6">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000179"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0030163"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfReactants>
<speciesReference species="PX" stoichiometry="1" constant="true"/>
</listOfReactants>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<times/>
<ci> kd_prot </ci>
<ci> PX </ci>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction metaid="antimony_repressilator._J7" id="_J7" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J7">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000179"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0030163"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfReactants>
<speciesReference species="PY" stoichiometry="1" constant="true"/>
</listOfReactants>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<times/>
<ci> kd_prot </ci>
<ci> PY </ci>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction metaid="antimony_repressilator._J8" id="_J8" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J8">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000179"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0030163"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfReactants>
<speciesReference species="PZ" stoichiometry="1" constant="true"/>
</listOfReactants>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<times/>
<ci> kd_prot </ci>
<ci> PZ </ci>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction metaid="antimony_repressilator._J9" id="_J9" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J9">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000183"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0006351"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfProducts>
<speciesReference species="X" stoichiometry="1" constant="true"/>
</listOfProducts>
<listOfModifiers>
<modifierSpeciesReference species="PZ"/>
</listOfModifiers>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<ci> a0_tr </ci>
<apply>
<divide/>
<apply>
<times/>
<ci> a_tr </ci>
<apply>
<power/>
<ci> KM </ci>
<ci> n </ci>
</apply>
</apply>
<apply>
<plus/>
<apply>
<power/>
<ci> KM </ci>
<ci> n </ci>
</apply>
<apply>
<power/>
<ci> PZ </ci>
<ci> n </ci>
</apply>
</apply>
</apply>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction metaid="antimony_repressilator._J10" id="_J10" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J10">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000183"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0006351"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfProducts>
<speciesReference species="Y" stoichiometry="1" constant="true"/>
</listOfProducts>
<listOfModifiers>
<modifierSpeciesReference species="PX"/>
</listOfModifiers>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<ci> a0_tr </ci>
<apply>
<divide/>
<apply>
<times/>
<ci> a_tr </ci>
<apply>
<power/>
<ci> KM </ci>
<ci> n </ci>
</apply>
</apply>
<apply>
<plus/>
<apply>
<power/>
<ci> KM </ci>
<ci> n </ci>
</apply>
<apply>
<power/>
<ci> PX </ci>
<ci> n </ci>
</apply>
</apply>
</apply>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction metaid="antimony_repressilator._J11" id="_J11" reversible="true" fast="false">
<annotation>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:vCard="http://www.w3.org/2001/vcard-rdf/3.0#" xmlns:vCard4="http://www.w3.org/2006/vcard/ns#" xmlns:bqbiol="http://biomodels.net/biology-qualifiers/" xmlns:bqmodel="http://biomodels.net/model-qualifiers/">
<rdf:Description rdf:about="#antimony_repressilator._J11">
<bqbiol:is>
<rdf:Bag>
<rdf:li rdf:resource="http://identifiers.org/SBO:0000184"/>
<rdf:li rdf:resource="http://identifiers.org/GO:0006351"/>
</rdf:Bag>
</bqbiol:is>
</rdf:Description>
</rdf:RDF>
</annotation>
<listOfProducts>
<speciesReference species="Z" stoichiometry="1" constant="true"/>
</listOfProducts>
<listOfModifiers>
<modifierSpeciesReference species="PY"/>
</listOfModifiers>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<ci> a0_tr </ci>
<apply>
<divide/>
<apply>
<times/>
<ci> a_tr </ci>
<apply>
<power/>
<ci> KM </ci>
<ci> n </ci>
</apply>
</apply>
<apply>
<plus/>
<apply>
<power/>
<ci> KM </ci>
<ci> n </ci>
</apply>
<apply>
<power/>
<ci> PY </ci>
<ci> n </ci>
</apply>
</apply>
</apply>
</apply>
</math>
</kineticLaw>
</reaction>
</listOfReactions>
</model>
</sbml>
--------------------------------------------------------------------------------
validation error(s) : 0
validation warning(s) : 0
--------------------------------------------------------------------------------