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

  // Compartments and Species:
  compartment Cytoplasm;
  species Mad1_CMad2 in Cytoplasm, OMad2 in Cytoplasm, Mad1_CMad2_OMad2 in Cytoplasm;
  species Cdc20 in Cytoplasm, Cdc20_CMad2 in Cytoplasm, Bub3_BubR1 in Cytoplasm;
  species MCC in Cytoplasm, Bub3_BubR1_Cdc20 in Cytoplasm, APC in Cytoplasm;
  species MCC_APC in Cytoplasm, APC_Cdc20 in Cytoplasm;

  // Reactions:
  R1: Mad1_CMad2 + OMad2 -> Mad1_CMad2_OMad2; Cytoplasm*(u*k1f*Mad1_CMad2*OMad2 - k1r*Mad1_CMad2_OMad2);
  R2: Mad1_CMad2_OMad2 + Cdc20 => Mad1_CMad2 + Cdc20_CMad2; u*k2f*Mad1_CMad2_OMad2*Cytoplasm*Cdc20;
  R3: Cdc20_CMad2 => Cdc20 + OMad2; k3f*Cdc20_CMad2*Cytoplasm;
  R4: Cdc20_CMad2 + Bub3_BubR1 -> MCC; Cytoplasm*(u*k4f*Cdc20_CMad2*Bub3_BubR1 - k4r*MCC);
  R5: Bub3_BubR1 + Cdc20 -> Bub3_BubR1_Cdc20; Cytoplasm*(u*k5f*Bub3_BubR1*Cdc20 - k5r*Bub3_BubR1_Cdc20);
  R6: OMad2 + Cdc20 => Cdc20_CMad2; kf6*OMad2*Cdc20*Cytoplasm;
  R7: MCC + APC => MCC_APC; u*k7f*MCC*APC*Cytoplasm;
  R7a: MCC_APC => MCC + APC; u_prime*k7r*MCC_APC*Cytoplasm;
  R8: APC + Cdc20 -> APC_Cdc20; Cytoplasm*(k8f*APC*Cdc20 - k8r*APC_Cdc20);

  // Events:
  mt_attachment: at time > 2000: u_prime = const_val_1, u = const_val_0;

  // Species initializations:
  Mad1_CMad2 = 5e-08;
  Mad1_CMad2 has mole_per_volume;
  OMad2 = 1.3e-07;
  OMad2 has mole_per_volume;
  Mad1_CMad2_OMad2 = 0;
  Mad1_CMad2_OMad2 has mole_per_volume;
  Cdc20 = 2.2e-07;
  Cdc20 has mole_per_volume;
  Cdc20_CMad2 = 0;
  Cdc20_CMad2 has mole_per_volume;
  Bub3_BubR1 = 1.27e-07;
  Bub3_BubR1 has mole_per_volume;
  MCC = 0;
  MCC has mole_per_volume;
  Bub3_BubR1_Cdc20 = 0;
  Bub3_BubR1_Cdc20 has mole_per_volume;
  APC = 9e-08;
  APC has mole_per_volume;
  MCC_APC = 0;
  MCC_APC has mole_per_volume;
  APC_Cdc20 = 0;
  APC_Cdc20 has mole_per_volume;

  // Compartment initializations:
  Cytoplasm = 1;

  // Variable initializations:
  u = 1;
  u has dimensionless;
  const_val_0 = 0;
  const_val_0 has dimensionless;
  u_prime = 0;
  u_prime has dimensionless;
  const_val_1 = 1;
  const_val_1 has dimensionless;
  k1f = 200000;
  k1f has pMp;
  k1r = 0.2;
  k1r has ps;
  k2f = 100000000;
  k2f has pMp;
  k3f = 0.01;
  k3f has ps;
  k4f = 10000000;
  k4f has pMp;
  k4r = 0.02;
  k4r has ps;
  k5f = 10000;
  k5f has pMp;
  k5r = 0.2;
  k5r has ps;
  kf6 = 1000;
  kf6 has pMp;
  k7f = 100000000;
  k7f has pMp;
  k7r = 0.08;
  k7r has ps;
  k8f = 5000000;
  k8f has pMp;
  k8r = 0.08;
  k8r has ps;

  // Other declarations:
  var u, u_prime;
  const Cytoplasm, const_val_0, const_val_1, k1f, k1r, k2f, k3f, k4f, k4r;
  const k5f, k5r, kf6, k7f, k7r, k8f, k8r;

  // Unit definitions:
  unit ps = 1 / second;
  unit pMp = litre / (mole * second);
  unit mole_per_volume = mole / litre;

  // Display Names:
  ps is "per second";
  pMp is "liter per mole per second";
  Mad1_CMad2 is "Mad1:C-Mad2";
  OMad2 is "O-Mad2";
  Mad1_CMad2_OMad2 is "Mad1:C-Mad2:O-Mad2*";
  Cdc20_CMad2 is "Cdc20:C-Mad2";
  Bub3_BubR1 is "Bub3:BubR1";
  Bub3_BubR1_Cdc20 is "Bub3:BubR1:Cdc20";
  MCC_APC is "MCC:APC";
  APC_Cdc20 is "APC:Cdc20";
  mt_attachment is "Microtubule attachment";

  // CV terms:
  Cytoplasm identity "http://identifiers.org/go/GO:0005737"
  Mad1_CMad2 hypernym "http://identifiers.org/go/GO:0043234"
  Mad1_CMad2 part "http://identifiers.org/uniprot/Q13257",
                  "http://identifiers.org/uniprot/Q9Y6D9"
  OMad2 identity "http://identifiers.org/uniprot/Q13257"
  Mad1_CMad2_OMad2 part "http://identifiers.org/uniprot/Q13257",
                        "http://identifiers.org/uniprot/Q9Y6D9"
  Mad1_CMad2_OMad2 hypernym "http://identifiers.org/go/GO:0043234"
  Cdc20 identity "http://identifiers.org/uniprot/Q12834"
  Cdc20_CMad2 part "http://identifiers.org/uniprot/Q13257",
                   "http://identifiers.org/uniprot/Q12834"
  Bub3_BubR1 part "http://identifiers.org/uniprot/Q60566",
                  "http://identifiers.org/uniprot/O43684"
  MCC part "http://identifiers.org/uniprot/Q12834",
           "http://identifiers.org/uniprot/Q13257",
           "http://identifiers.org/uniprot/Q60566",
           "http://identifiers.org/uniprot/O43684"
  MCC identity "http://identifiers.org/go/GO:0033597"
  Bub3_BubR1_Cdc20 part "http://identifiers.org/uniprot/Q12834",
                        "http://identifiers.org/uniprot/Q60566",
                        "http://identifiers.org/uniprot/O43684"
  APC hypernym "http://identifiers.org/go/GO:0005680"
  APC part "http://identifiers.org/uniprot/Q8NHZ8",
           "http://identifiers.org/uniprot/Q9BS18",
           "http://identifiers.org/uniprot/Q9NYG5",
           "http://identifiers.org/uniprot/Q9UM13",
           "http://identifiers.org/uniprot/Q9UJX2",
           "http://identifiers.org/uniprot/Q9UJX3",
           "http://identifiers.org/uniprot/Q13042",
           "http://identifiers.org/uniprot/Q9UJX4",
           "http://identifiers.org/uniprot/Q9UJX5",
           "http://identifiers.org/uniprot/P30260",
           "http://identifiers.org/uniprot/Q9UJX6",
           "http://identifiers.org/uniprot/Q9H1A4"
  MCC_APC part "http://identifiers.org/uniprot/Q12834",
               "http://identifiers.org/uniprot/Q13257",
               "http://identifiers.org/uniprot/Q60566",
               "http://identifiers.org/uniprot/O43684",
               "http://identifiers.org/uniprot/Q8NHZ8",
               "http://identifiers.org/uniprot/Q9BS18",
               "http://identifiers.org/uniprot/Q9NYG5",
               "http://identifiers.org/uniprot/Q9UM13",
               "http://identifiers.org/uniprot/Q9UJX2",
               "http://identifiers.org/uniprot/Q9UJX3",
               "http://identifiers.org/uniprot/Q13042",
               "http://identifiers.org/uniprot/Q9UJX4",
               "http://identifiers.org/uniprot/Q9UJX5",
               "http://identifiers.org/uniprot/P30260",
               "http://identifiers.org/uniprot/Q9UJX6",
               "http://identifiers.org/uniprot/Q9H1A4"
  MCC_APC part "http://identifiers.org/go/GO:0005680",
               "http://identifiers.org/go/GO:0033597"
  APC_Cdc20 part "http://identifiers.org/uniprot/Q12834",
                 "http://identifiers.org/uniprot/Q8NHZ8",
                 "http://identifiers.org/uniprot/Q9BS18",
                 "http://identifiers.org/uniprot/Q9NYG5",
                 "http://identifiers.org/uniprot/Q9UM13",
                 "http://identifiers.org/uniprot/Q9UJX2",
                 "http://identifiers.org/uniprot/Q9UJX3",
                 "http://identifiers.org/uniprot/Q13042",
                 "http://identifiers.org/uniprot/Q9UJX4",
                 "http://identifiers.org/uniprot/Q9UJX5",
                 "http://identifiers.org/uniprot/P30260",
                 "http://identifiers.org/uniprot/Q9UJX6",
                 "http://identifiers.org/uniprot/Q9H1A4"
  R1 hypernym "http://identifiers.org/go/GO:0032092",
              "http://identifiers.org/go/GO:0043241",
              "http://identifiers.org/go/GO:0006461"
  R2 hypernym "http://identifiers.org/go/GO:0032092",
              "http://identifiers.org/go/GO:0006461"
  R3 hypernym "http://identifiers.org/go/GO:0043241"
  R4 hypernym "http://identifiers.org/reactome/REACT_36.2",
              "http://identifiers.org/go/GO:0043241",
              "http://identifiers.org/go/GO:0006461"
  R5 hypernym "http://identifiers.org/go/GO:0043241",
              "http://identifiers.org/go/GO:0006461"
  R6 hypernym "http://identifiers.org/go/GO:0006461"
  R7 hypernym "http://identifiers.org/go/GO:0043623",
              "http://identifiers.org/go/GO:0051436"
  R7a hypernym "http://identifiers.org/go/GO:0043624"
  R8 hypernym "http://identifiers.org/go/GO:0043623",
              "http://identifiers.org/go/GO:0007092"
end

MODEL6655615431 is "Ibrahim2008 - Mitotic Spindle Assembly Checkpoint - Dissociation variant"

MODEL6655615431 model_entity_is "http://identifiers.org/biomodels.db/MODEL6655615431"
MODEL6655615431 model_entity_is "http://identifiers.org/biomodels.db/BIOMD0000000186"
MODEL6655615431 description "http://identifiers.org/pubmed/18253502"
MODEL6655615431 origin "http://identifiers.org/pubmed/15694304"
MODEL6655615431 taxon "http://identifiers.org/taxonomy/9606"
MODEL6655615431 hypernym "http://identifiers.org/reactome/REACT_2137.2",
                         "http://identifiers.org/go/GO:0007094"
MODEL6655615431 parthood "http://identifiers.org/kegg.pathway/hsa04110"
