// Created by libAntimony v2.13.0
function Constant_flux__irreversible(v)
  v;
end

Constant_flux__irreversible is "Constant flux (irreversible)"

function function_(parameter, modifier, substrate)
  parameter*modifier*substrate;
end

function_ is "function"

function function_1(param, mod)
  param*mod;
end

function_1 is "function_1"

function function_2(parameter, modifier)
  parameter*modifier;
end

function_2 is "function_2"

function function_3(c_a, y0, y1, za)
  c_a*(y0 + y1)*za;
end

function_3 is "function_3"

function function_4(c_i, y0, y1, zi)
  c_i*(y0 + y1)*zi;
end

function_4 is "function_4"


model *Wodarz2007_CTL_inflation_Model_C()

  // Compartments and Species:
  compartment COMpartment;
  species x in COMpartment, y_0 in COMpartment, y_1 in COMpartment, L in COMpartment;
  species v in COMpartment, z_a in COMpartment, m_0 in COMpartment, m_1 in COMpartment;
  species m_2 in COMpartment, m_3 in COMpartment, m_4 in COMpartment, m_5 in COMpartment;
  species m_6 in COMpartment, m_7 in COMpartment, m_8 in COMpartment, z_i in COMpartment;

  // Assignment Rules:
  R0 := (lambda*eta/(d*a1*(a0 + eta)))*(beta + gamma_*phi/(phi + d));

  // Reactions:
  Host_cell_proliferation:  => x; COMpartment*Constant_flux__irreversible(lambda);
  Host_cell_death: x => ; COMpartment*d*x;
  Infection_1: x => y_0; COMpartment*function_(beta, v, x);
  Infection_2: x => L; COMpartment*function_(gamma_, v, x);
  Infected_cell_death_1: y_0 => ; COMpartment*a0*y_0;
  Infected_cell_infection_progression_1: y_0 => y_1; COMpartment*eta*y_0;
  Infected_cell_infection_progression_2: L => y_0; COMpartment*phi*L;
  CTL_induced_infected_cell_death_1: y_0 => ; COMpartment*function_(pa, z_a, y_0);
  Infected_cell_death_2: y_1 => ; COMpartment*a1*y_1;
  CTL_induced_infected_cell_death_2: y_1 => ; COMpartment*function_(pa, z_a, y_1);
  Infected_cell_death_3: L => ; COMpartment*d*L;
  Virus_particle_production:  => v; COMpartment*function_1(k, y_1);
  Viral_particle_degradation: v => ; COMpartment*u*v;
  Precursor_T_cell_differentiation_2:  => z_a; COMpartment*function_2(alpha, m_8);
  Infection_induced_CTL_proliferation_stimulation:  => z_a; COMpartment*function_3(ca, y_0, y_1, z_a);
  CTL_cell_death: z_a => ; COMpartment*ba*z_a;
  Naive_CTL_division_1: m_0 => 2 m_1; COMpartment*r*m_0;
  Naive_CTL_division_2: m_1 => 2 m_2; COMpartment*r*m_1;
  Naive_CTL_division_3: m_2 => 2 m_3; COMpartment*r*m_2;
  Naive_CTL_division_4: m_3 => 2 m_4; COMpartment*r*m_3;
  Naive_CTL_division_5: m_4 => 2 m_5; COMpartment*r*m_4;
  Naive_CTL_division_6: m_5 => 2 m_6; COMpartment*r*m_5;
  Naive_CTL_division_7: m_6 => 2 m_7; COMpartment*r*m_6;
  Naive_CTL_division_8: m_7 => 2 m_8; COMpartment*r*m_7;
  Precursor_T_cell_differentiation_1: m_8 => ; COMpartment*r*m_8;
  NK_cell_production:  => z_i; COMpartment*Constant_flux__irreversible(xi);
  NK_infection_induced_production:  => z_i; COMpartment*function_4(ci, y_0, y_1, z_i);
  NK_cell_death: z_i => ; COMpartment*bi*z_i;
  NK_induced_infected_cell_death_1: y_0 => ; COMpartment*function_(p_i, z_i, y_0);
  NK_induced_infected_cell_death_2: y_1 => ; COMpartment*function_(p_i, z_i, y_1);

  // Species initializations:
  x = 1;
  y_0 = 0;
  y_1 = 0;
  L = 0;
  v = 1;
  z_a = 1;
  m_0 = 0;
  m_1 = 0;
  m_2 = 0;
  m_3 = 0;
  m_4 = 0;
  m_5 = 0;
  m_6 = 0;
  m_7 = 0;
  m_8 = 0;
  z_i = 0.1;

  // Compartment initializations:
  COMpartment = 1;

  // Variable initializations:
  lambda = 10;
  eta = 0.01;
  d = 0.1;
  a1 = 0.2;
  a0 = 0.1;
  beta = 0.1;
  gamma_ = 0.5;
  phi = 0.1;
  k = 1;
  u = 1;
  alpha = 0.2;
  pa = 1e-06;
  ca = 15.5;
  r = 1;
  ba = 0.1;
  p_i = 1;
  ci = 12;
  bi = 0.1;
  xi = 0.01;

  // Other declarations:
  var R0;
  const COMpartment, lambda, eta, d, a1, a0, beta, gamma_, phi, k, u, alpha;
  const pa, ca, r, ba, p_i, ci, bi, xi;

  // Unit definitions:
  unit time_unit = 3600 second;

  // Display Names:
  time_unit is "time";
  COMpartment is "Mouse";
  gamma_ is "gamma";
  Host_cell_proliferation is "Host cell proliferation";
  Host_cell_death is "Host cell death";
  Infection_1 is "Infection 1";
  Infection_2 is "Infection 2";
  Infected_cell_death_1 is "Infected cell death 1";
  Infected_cell_infection_progression_1 is "Infected cell infection progression 1";
  Infected_cell_infection_progression_2 is "Infected cell infection progression 2";
  CTL_induced_infected_cell_death_1 is "CTL-induced infected cell death 1";
  Infected_cell_death_2 is "Infected cell death 2";
  CTL_induced_infected_cell_death_2 is "CTL-induced infected cell death 2";
  Infected_cell_death_3 is "Infected cell death 3";
  Virus_particle_production is "Virus particle production";
  Viral_particle_degradation is "Viral particle degradation";
  Precursor_T_cell_differentiation_2 is "Precursor T-cell differentiation 2";
  Infection_induced_CTL_proliferation_stimulation is "Infection-induced CTL proliferation stimulation";
  CTL_cell_death is "CTL cell death";
  Naive_CTL_division_1 is "Naive CTL division 1";
  Naive_CTL_division_2 is "Naive CTL division 2";
  Naive_CTL_division_3 is "Naive CTL division 3";
  Naive_CTL_division_4 is "Naive CTL division 4";
  Naive_CTL_division_5 is "Naive CTL division 5";
  Naive_CTL_division_6 is "Naive CTL division 6";
  Naive_CTL_division_7 is "Naive CTL division 7";
  Naive_CTL_division_8 is "Naive CTL division 8";
  Precursor_T_cell_differentiation_1 is "Precursor T-cell differentiation 1";
  NK_cell_production is "NK cell production";
  NK_infection_induced_production is "NK infection-induced production";
  NK_cell_death is "NK cell death";
  NK_induced_infected_cell_death_1 is "NK-induced infected cell death 1";
  NK_induced_infected_cell_death_2 is "NK-induced infected cell death 2";

  // CV terms:
  x hypernym "http://identifiers.org/cl/CL:0000000"
  x property "http://identifiers.org/ncit/C16505"
  x hypernym "http://identifiers.org/go/GO:0005623"
  y_0 part "http://identifiers.org/efo/0001062"
  y_0 hypernym "http://identifiers.org/bto/BTO:0000152"
  y_1 part "http://identifiers.org/efo/0001062"
  y_1 hypernym "http://identifiers.org/bto/BTO:0000152"
  L part "http://identifiers.org/efo/0001062"
  L hypernym "http://identifiers.org/bto/BTO:0000152"
  v hypernym "http://identifiers.org/efo/0001062"
  v hypernym "http://identifiers.org/go/GO:0019012"
  z_a hypernym "http://identifiers.org/bto/BTO:0000289"
  z_a hypernym "http://identifiers.org/cl/CL:0000910"
  m_0 hypernym "http://identifiers.org/cl/CL:0000898"
  m_1 hypernym "http://identifiers.org/cl/CL:0000898"
  m_2 hypernym "http://identifiers.org/cl/CL:0000898"
  m_3 hypernym "http://identifiers.org/cl/CL:0000898"
  m_4 hypernym "http://identifiers.org/cl/CL:0000898"
  m_5 hypernym "http://identifiers.org/cl/CL:0000898"
  m_6 hypernym "http://identifiers.org/cl/CL:0000898"
  m_7 hypernym "http://identifiers.org/cl/CL:0000898"
  m_8 hypernym "http://identifiers.org/cl/CL:0000898"
  z_i hypernym "http://identifiers.org/cl/CL:0000623"
  z_i hypernym "http://identifiers.org/bto/BTO:0000914"
  Host_cell_proliferation hypernym "http://identifiers.org/go/GO:0008283"
  Host_cell_death hypernym "http://identifiers.org/go/GO:0008219"
  Infection_1 hypernym "urn:miriam:obi:OBI%3A1110021"
  Infection_2 hypernym "urn:miriam:obi:OBI%3A1110021"
  Infected_cell_death_1 hypernym "http://identifiers.org/go/GO:0008219"
  CTL_induced_infected_cell_death_1 hypernym "http://identifiers.org/go/GO:0012501"
  Infected_cell_death_2 hypernym "http://identifiers.org/go/GO:0008219"
  CTL_induced_infected_cell_death_2 hypernym "http://identifiers.org/go/GO:0012501"
  Infected_cell_death_3 hypernym "http://identifiers.org/go/GO:0008219"
  Virus_particle_production hypernym "urn:miriam:sbo:SBO%3A0000393"
  Viral_particle_degradation hypernym "urn:miriam:sbo:SBO%3A0000179"
  Precursor_T_cell_differentiation_2 hypernym "http://identifiers.org/go/GO:0030217"
  Infection_induced_CTL_proliferation_stimulation hypernym "http://identifiers.org/ncit/C20863"
  CTL_cell_death hypernym "http://identifiers.org/go/GO:0008219"
  Naive_CTL_division_1 hypernym "http://identifiers.org/go/GO:0051301"
  Naive_CTL_division_2 hypernym "http://identifiers.org/go/GO:0051301"
  Naive_CTL_division_3 hypernym "http://identifiers.org/go/GO:0051301"
  Naive_CTL_division_4 hypernym "http://identifiers.org/go/GO:0051301"
  Naive_CTL_division_5 hypernym "http://identifiers.org/go/GO:0051301"
  Naive_CTL_division_6 hypernym "http://identifiers.org/go/GO:0051301"
  Naive_CTL_division_7 hypernym "http://identifiers.org/go/GO:0051301"
  Naive_CTL_division_8 hypernym "http://identifiers.org/go/GO:0051301"
  Precursor_T_cell_differentiation_1 hypernym "http://identifiers.org/go/GO:0030217"
  NK_cell_production hypernym "http://identifiers.org/go/GO:0001866"
  NK_cell_death hypernym "http://identifiers.org/go/GO:0008219"
end

Wodarz2007_CTL_inflation_Model_C is "Wodarz2007 - Cytomegalovirus infection model with cytotoxic T lymphocyte and natural killer cell response"

Wodarz2007_CTL_inflation_Model_C model_entity_is "http://identifiers.org/biomodels.db/MODEL1006230097"
Wodarz2007_CTL_inflation_Model_C model_entity_is "http://identifiers.org/biomodels.db/BIOMD0000000688"
Wodarz2007_CTL_inflation_Model_C description "http://identifiers.org/pubmed/17251133"
Wodarz2007_CTL_inflation_Model_C origin "http://identifiers.org/doi/10.1093/intimm/dxh303"
Wodarz2007_CTL_inflation_Model_C model_entity_is "http://identifiers.org/biomodels.db/MODEL1006230097"
Wodarz2007_CTL_inflation_Model_C part "http://identifiers.org/bto/BTO:0000914"
Wodarz2007_CTL_inflation_Model_C hypernym "http://identifiers.org/go/GO:0009615"
Wodarz2007_CTL_inflation_Model_C taxon "http://identifiers.org/taxonomy/10088"
Wodarz2007_CTL_inflation_Model_C part "http://identifiers.org/bto/BTO:0000289"
Wodarz2007_CTL_inflation_Model_C description "http://identifiers.org/pubmed/17251133"
Wodarz2007_CTL_inflation_Model_C part "http://identifiers.org/efo/0001062"
