<?xml version="1.0" encoding="utf-8"?><!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_1.dtd'><nta><declaration>// Place global declarations here.
int DA=1, D_A=0, DR=1, D_R=0, MA=0, MR=0, A=0, R=0, C=0;
</declaration><template><name x="5" y="5">r1</name><declaration>// Place local declarations here.
</declaration><location id="id0" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">DA*50</label></location><init ref="id0"/><transition><source ref="id0"/><target ref="id0"/><label kind="guard" x="-20" y="-100">DA&gt;0</label><label kind="assignment" x="-20" y="-70">MA++</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r2</name><declaration>// Place local declarations here.
</declaration><location id="id1" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">A*DA*1</label></location><init ref="id1"/><transition><source ref="id1"/><target ref="id1"/><label kind="guard" x="-20" y="-100">A&gt;0 &amp;&amp; DA&gt;0</label><label kind="assignment" x="-20" y="-70">DA--, D_A++, A--</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r3</name><declaration>// Place local declarations here.
</declaration><location id="id2" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">D_A*500</label></location><init ref="id2"/><transition><source ref="id2"/><target ref="id2"/><label kind="guard" x="-20" y="-100">D_A&gt;0</label><label kind="assignment" x="-20" y="-70">MA++</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r4</name><declaration>// Place local declarations here.
</declaration><location id="id3" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">DR:100</label></location><init ref="id3"/><transition><source ref="id3"/><target ref="id3"/><label kind="guard" x="-20" y="-100">DR&gt;0</label><label kind="assignment" x="-20" y="-70">MR++</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r5</name><declaration>// Place local declarations here.
</declaration><location id="id4" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">D_R*50</label></location><init ref="id4"/><transition><source ref="id4"/><target ref="id4"/><label kind="guard" x="-20" y="-100">D_R&gt;0</label><label kind="assignment" x="-20" y="-70">MR++</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r6</name><declaration>// Place local declarations here.
</declaration><location id="id5" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">MA*50</label></location><init ref="id5"/><transition><source ref="id5"/><target ref="id5"/><label kind="guard" x="-20" y="-100">MA&gt;0</label><label kind="assignment" x="-20" y="-70">A++</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r7</name><declaration>// Place local declarations here.
</declaration><location id="id6" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">MR*5</label></location><init ref="id6"/><transition><source ref="id6"/><target ref="id6"/><label kind="guard" x="-20" y="-100">MR&gt;0</label><label kind="assignment" x="-20" y="-70">R++</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r8</name><declaration>// Place local declarations here.
</declaration><location id="id7" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">A*R*2</label></location><init ref="id7"/><transition><source ref="id7"/><target ref="id7"/><label kind="guard" x="-20" y="-100">A&gt;0 &amp;&amp; R&gt;0</label><label kind="assignment" x="-20" y="-70">A--, R--, C++</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r9</name><declaration>// Place local declarations here.
</declaration><location id="id8" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">C*1</label></location><init ref="id8"/><transition><source ref="id8"/><target ref="id8"/><label kind="guard" x="-20" y="-100">C&gt;0</label><label kind="assignment" x="-20" y="-70">R++, C--</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r10</name><declaration>// Place local declarations here.
</declaration><location id="id9" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">A*1</label></location><init ref="id9"/><transition><source ref="id9"/><target ref="id9"/><label kind="guard" x="-20" y="-100">A&gt;0</label><label kind="assignment" x="-20" y="-70">A--</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r11</name><declaration>// Place local declarations here.
</declaration><location id="id10" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">R*2:10</label></location><init ref="id10"/><transition><source ref="id10"/><target ref="id10"/><label kind="guard" x="-20" y="-100">R&gt;0</label><label kind="assignment" x="-20" y="-70">R--</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r12</name><declaration>// Place local declarations here.
</declaration><location id="id11" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">MA*10</label></location><init ref="id11"/><transition><source ref="id11"/><target ref="id11"/><label kind="guard" x="-20" y="-100">MA&gt;0</label><label kind="assignment" x="-20" y="-70">MA--</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r13</name><declaration>// Place local declarations here.
</declaration><location id="id12" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">MR*5:10</label></location><init ref="id12"/><transition><source ref="id12"/><target ref="id12"/><label kind="guard" x="-20" y="-100">MR&gt;0</label><label kind="assignment" x="-20" y="-70">MR--</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r14</name><declaration>// Place local declarations here.
</declaration><location id="id13" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">D_R*100</label></location><init ref="id13"/><transition><source ref="id13"/><target ref="id13"/><label kind="guard" x="-20" y="-100">D_R&gt;0</label><label kind="assignment" x="-20" y="-70">DR++, D_R--, A++</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r15</name><declaration>// Place local declarations here.
</declaration><location id="id14" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">A*DR*1</label></location><init ref="id14"/><transition><source ref="id14"/><target ref="id14"/><label kind="guard" x="-20" y="-100">A&gt;0 &amp;&amp; DR&gt;0</label><label kind="assignment" x="-20" y="-70">DR--, D_R++, A--</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><template><name x="5" y="5">r16</name><declaration>// Place local declarations here.
</declaration><location id="id15" x="0" y="0"><label kind="exponentialrate" x="-20" y="30">D_A*50</label></location><init ref="id15"/><transition><source ref="id15"/><target ref="id15"/><label kind="guard" x="-20" y="-100">D_A&gt;0</label><label kind="assignment" x="-20" y="-70">DA++, D_A--, A++</label><nail x="-30" y="-30"/><nail x="30" y="-30"/></transition></template><system>// Place template instantiations here.
// List one or more processes to be composed into a system.
system r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, r12, r13, r14, r15, r16;

// Model of genetic oscillator from
// Vilar, Kueh, Barkai, Leibler: Mechanisms of noise-resistance in genetic oscillators, PNAS, 2002
</system></nta>