// Created by libAntimony v2.13.0
model *Sneyd2002_dynamic_model_of_IP3_Receptor()

  // Compartments and Species:
  compartment compartment_;
  species R in compartment_, O in compartment_, I1 in compartment_, S in compartment_;
  species A in compartment_, I2 in compartment_;

  // Assignment Rules:
  open_probability := (0.1*O + 0.9*A)^4;
  Phi1 := (k1*L1 + l2)*c/(L1 + c*(1 + L1/L3));
  Phi2 := (k2*L3 + l4*c)/(L3 + c*(1 + L3/L1));
  Phi_minus2 := (kminus2 + lminus4*c)/(1 + c/L5);
  Phi3 := k3*L5/(L5 + c);
  Phi4 := (k4*L5 + l6)*c/(L5 + c);
  Phi_minus4 := L1*(kminus4 + lminus6)/(L1 + c);
  Phi5 := (k1*L1 + l2)*c/(L1 + c);

  // Reactions:
  v1: R -> O; compartment_*(Phi2*v1_IP3*R - Phi_minus2*O);
  v2: R -> I1; compartment_*(Phi1*R - (v2_kminus1 + v2_lminus2)*I1);
  v3: O -> S; compartment_*(Phi3*O - v3_kminus3*S);
  v4: O -> A; compartment_*(Phi4*O - Phi_minus4*A);
  v5: A -> I2; compartment_*(Phi5*A - (v5_kminus1 + v5_lminus2)*I2);

  // Species initializations:
  R = 1;
  O = 0;
  I1 = 0;
  S = 0;
  A = 0;
  I2 = 0;

  // Compartment initializations:
  compartment_ = 1;

  // Variable initializations:
  k1 = 0.64;
  L1 = 0.12;
  l2 = 1.7;
  c = 10;
  L3 = 0.025;
  lminus2 = 0.8;
  k2 = 37.4;
  l4 = 1.7;
  kminus2 = 1.4;
  lminus4 = 2.5;
  L5 = 54.7;
  kminus1 = 0.04;
  kminus3 = 29.8;
  k3 = 0.11;
  k4 = 4;
  l6 = 4707;
  kminus4 = 0.54;
  lminus6 = 11.4;
  IP3 = 10;
  v1_IP3 = 10;
  v2_kminus1 = 0.04;
  v2_lminus2 = 0.8;
  v3_kminus3 = 29.8;
  v5_kminus1 = 0.04;
  v5_lminus2 = 0.8;

  // Other declarations:
  var open_probability, Phi1, Phi2, Phi_minus2, Phi3, Phi4, Phi_minus4, Phi5;
  const compartment_, k1, L1, l2, c, L3, lminus2, k2, l4, kminus2, lminus4;
  const L5, kminus1, kminus3, k3, k4, l6, kminus4, lminus6, IP3;

  // Unit definitions:
  unit substance = 1e-6 mole;

  // Display Names:
  substance is "micromole";
  R is "Receptor";
  O is "Open State";
  I1 is "Inactivated State 1";
  S is "Shut State";
  A is "Activated State";
  I2 is "Inactivated State 2";
  v1 is "Receptor-Open state transition";
  v2 is "Receptor-Inactivated state 1 transition";
  v3 is "Open-Shut state transition";
  v4 is "Open-Activated state transition";
  v5 is "Activated-Inactivated state 2 transition";

  // CV terms:
  compartment_ identity "http://identifiers.org/go/GO:0005829"
  R hypernym "http://identifiers.org/interpro/IPR000493"
  O hypernym "http://identifiers.org/interpro/IPR000493"
  I1 hypernym "http://identifiers.org/interpro/IPR000493"
  S hypernym "http://identifiers.org/interpro/IPR000493"
  A hypernym "http://identifiers.org/interpro/IPR000493"
  I2 hypernym "http://identifiers.org/interpro/IPR000493"
  v1 hypernym "http://identifiers.org/go/GO:0031587",
              "http://identifiers.org/go/GO:0005220"
  v2 hypernym "http://identifiers.org/go/GO:0031586"
  v3 hypernym "http://identifiers.org/go/GO:0031586"
  v4 hypernym "http://identifiers.org/go/GO:0031587"
  v5 hypernym "http://identifiers.org/go/GO:0031586"
end

Sneyd2002_dynamic_model_of_IP3_Receptor is "Sneyd2002_IP3_Receptor"

Sneyd2002_dynamic_model_of_IP3_Receptor model_entity_is "http://identifiers.org/biomodels.db/MODEL9098147664"
Sneyd2002_dynamic_model_of_IP3_Receptor model_entity_is "http://identifiers.org/biomodels.db/BIOMD0000000057"
Sneyd2002_dynamic_model_of_IP3_Receptor description "http://identifiers.org/pubmed/11842185"
Sneyd2002_dynamic_model_of_IP3_Receptor taxon "http://identifiers.org/taxonomy/10117"
Sneyd2002_dynamic_model_of_IP3_Receptor identity "http://identifiers.org/kegg.pathway/map04020"
Sneyd2002_dynamic_model_of_IP3_Receptor hypernym "http://identifiers.org/go/GO:0048016",
                                                 "http://identifiers.org/go/GO:0019722"
