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

  // Compartments and Species:
  compartment compartment_;
  species $IPTG in compartment_, sigb in compartment_, lacz in compartment_;
  species x in compartment_;

  // Reactions:
  v1: $IPTG -> sigb; IPTG*kbs - sigb*(kbd + kbx*x);
  v2: sigb -> lacz; -(kzd*lacz) + kzs*sigb;
  v3: sigb -> x; kxs*sigb - kxd*x;

  // Species initializations:
  IPTG = 100;
  sigb = 0;
  lacz = 0;
  x = 0;

  // Compartment initializations:
  compartment_ = 1;

  // Variable initializations:
  kbd = 5.8e-09;
  kbs = 100;
  kbx = 8.4e-05;
  kxd = 1.2e-13;
  kxs = 2e-06;
  kzd = 0.052;
  kzs = 1.7e-06;

  // Other declarations:
  const compartment_, kbd, kbs, kbx, kxd, kxs, kzd, kzs;

  // Display Names:
  compartment_ is "compartment";

  // CV terms:
  compartment_ identity "http://identifiers.org/obo.go/GO:0005623"
  IPTG identity "http://identifiers.org/chebi/CHEBI:61448"
  sigb identity "http://identifiers.org/interpro/IPR006288"
  lacz identity "http://identifiers.org/obo.go/GO:0015925"
  x identity "http://identifiers.org/chebi/CHEBI:35222"
  kbd identity "http://identifiers.org/obo.go/GO:0006508"
  kbs identity "http://identifiers.org/obo.go/GO:0009058"
  kbx identity "http://identifiers.org/chebi/CHEBI:35222"
  kxd identity "http://identifiers.org/obo.go/GO:0006508"
  kxs identity "http://identifiers.org/obo.go/GO:0009058"
  kzd identity "http://identifiers.org/obo.go/GO:0006508"
  kzs identity "http://identifiers.org/obo.go/GO:0009058"
  v1 identity "http://identifiers.org/obo.go/GO:0009058",
              "http://identifiers.org/obo.go/GO:0006508"
  v2 identity "http://identifiers.org/obo.go/GO:0009058",
              "http://identifiers.org/obo.go/GO:0006508"
  v3 identity "http://identifiers.org/obo.go/GO:0009058",
              "http://identifiers.org/obo.go/GO:0006508"
end

MODEL1302080000 is "Liebal2012 - B.subtilis sigB proteolysis model"

MODEL1302080000 model_entity_is "http://identifiers.org/biomodels.db/MODEL1302080000"
MODEL1302080000 model_entity_is "http://identifiers.org/biomodels.db/BIOMD0000000460"
MODEL1302080000 description "http://identifiers.org/pubmed/22511268"
MODEL1302080000 property "http://identifiers.org/obo.go/GO:0030162"
MODEL1302080000 taxon "http://identifiers.org/taxonomy/1423"
