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

  // Compartments and Species:
  compartment Compartment;
  species $V in Compartment, $n in Compartment, $s1 in Compartment, $s2 in Compartment;

  // Assignment Rules:
  ICa := gCa*minf*(V - VCa);
  IK := gK*n*(V - VK);
  Il := gl*(V - Vl);
  Is1 := gs1*s1*(V - VK);
  Is2 := gs2*s2*(V - VK);
  ninf := 1/(1 + exp((Vn - V)/sn));
  taun := tnbar/(1 + exp((V - Vn)/sn));
  s1inf := 1/(1 + exp((Vs1 - V)/ss1));
  s2inf := 1/(1 + exp((Vs2 - V)/ss2));
  minf := 1/(1 + exp((Vm - V)/sm));
  parameter_1 := Is1 + Is2;

  // Rate Rules:
  V' = -(ICa + IK + Il + Is1 + Is2)/Cm;
  n' = (ninf - n)/taun;
  s1' = (s1inf - s1)/taus1;
  s2' = (s2inf - s2)/taus2;

  // Species initializations:
  V = -43/Compartment;
  n = 0.03/Compartment;
  s1 = 0.1/Compartment;
  s2 = 0.434/Compartment;

  // Compartment initializations:
  Compartment = 1;

  // Variable initializations:
  Cm = 4524;
  taus1 = 1000;
  taus2 = 120000;
  Vm = -22;
  VCa = 100;
  gCa = 280;
  sm = 7.5;
  gK = 1300;
  VK = -80;
  lambda = 1.1;
  tnbar = 8.3;
  Vn = -9;
  sn = 10;
  gs1 = 20;
  Vs1 = -40;
  ss1 = 0.5;
  Vs2 = -42;
  ss2 = 0.4;
  gs2 = 32;
  gl = 25;
  Vl = -40;

  // Other declarations:
  var ICa, IK, Il, Is1, Is2, ninf, taun, s1inf, s2inf, minf, parameter_1;
  const Compartment, Cm, taus1, taus2, Vm, VCa, gCa, sm, gK, VK, lambda, tnbar;
  const Vn, sn, gs1, Vs1, ss1, Vs2, ss2, gs2, gl, Vl;

  // Display Names:
  parameter_1 is "I1+I2";

  // SBO terms:
  V.sboTerm = 259
  Cm.sboTerm = 258
  taus1.sboTerm = 9
  taus2.sboTerm = 9
  Vm.sboTerm = 9
  VCa.sboTerm = 9
  gCa.sboTerm = 9
  sm.sboTerm = 9
  VK.sboTerm = 9
  lambda.sboTerm = 9
  tnbar.sboTerm = 9
  Vn.sboTerm = 9
  sn.sboTerm = 9
  gs1.sboTerm = 9
  Vs1.sboTerm = 9
  ss1.sboTerm = 9
  Vs2.sboTerm = 9
  ss2.sboTerm = 9
  gs2.sboTerm = 9
  gl.sboTerm = 9
  Vl.sboTerm = 9

  // CV terms:
  V hypernym "http://identifiers.org/pato/PATO:0001462"
  n hypernym "http://identifiers.org/go/GO:0005251"
  s1 hypernym "http://identifiers.org/pato/PATO:0001227"
  s2 hypernym "http://identifiers.org/pato/PATO:0001227"
end

Bertram2000_PancreaticBetaCells_Oscillations is "Bertram2000_PancreaticBetaCells_Oscillations"

Bertram2000_PancreaticBetaCells_Oscillations model_entity_is "http://identifiers.org/biomodels.db/MODEL0911270001"
Bertram2000_PancreaticBetaCells_Oscillations model_entity_is "http://identifiers.org/biomodels.db/BIOMD0000000377"
Bertram2000_PancreaticBetaCells_Oscillations description "http://identifiers.org/pubmed/11106596"
Bertram2000_PancreaticBetaCells_Oscillations origin "http://identifiers.org/pubmed/1850840"
Bertram2000_PancreaticBetaCells_Oscillations hypernym "http://identifiers.org/go/GO:0061469",
                                                      "http://identifiers.org/go/GO:0044342",
                                                      "http://identifiers.org/go/GO:0003323"
Bertram2000_PancreaticBetaCells_Oscillations container "http://identifiers.org/bto/BTO:0000783"
Bertram2000_PancreaticBetaCells_Oscillations taxon "http://identifiers.org/taxonomy/9606"
