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

  // Compartments and Species:
  compartment ec, cell, membrane;
  species Gsbg_cell in cell, L_cell in cell, Gsa_gdp_cell in cell, Gsa_gtp_cell in cell;
  species b1AR_S464_cell in cell, PDEcAMP_cell in cell, PDE_cell in cell;
  species $ATP_cell in cell, b1AR_cell in cell, Gs_cell in cell, A2RC_cell in cell;
  species A2R_cell in cell, PKAC_cell in cell, ARC_cell in cell, PKAC_AKAR_cell in cell;
  species Propranolol_cell in cell, b1ARinhib_cell in cell, light_spot_cell in cell;
  species AC_cell in cell, PKI_cell in cell, PKAC_PKI_cell in cell, RC_cell in cell;
  species b1AR_Gs_cell in cell, cAMP_cell in cell, GsAC_cell in cell, IBMX_cell in cell;
  species PDE_IBMX_cell in cell, Fsk_cell in cell, FskAC_cell in cell, b1AR_p_cell in cell;
  species L_b1AR_cell in cell, AKAR_cell in cell, AKARp_cell in cell, PP_cell in cell;
  species PP_AKARp_cell in cell, DMNB_cAMP_cell in cell, L_b1AR_Gs_cell in cell;

  // Assignment Rules:
  Vmax_cAMP_synthesis_GsAC := k_ac_gsa_cAMP_synthesis_GsAC*GsAC_cell;
  light_cAMP_photolysis := piecewise(1, (time > ton_global_light_cAMP_photolysis) && (time < toff_global_light_cAMP_photolysis), 0) + piecewise(light_spot_cell, (time > ton_local_light_cAMP_photolysis) && (time < toff_local_light_cAMP_photolysis), 0);
  Vmax_cAMP_synthesis_FskAC := kfsk_cAMP_synthesis_FskAC*FskAC_cell;
  Kf_inhibit_PDE := piecewise(1000, time > 1000, 0);
  Kr_inhibit_PDE := piecewise(30000, time > 1000, 0);
  ar_for_add_propranolol := piecewise((Propranolol_pipette + -Propranolol_cell)*(1/tauPropranolol), time > t_propadd, 0);
  ar_for_add_Ligand := piecewise((L_pipette + -L_cell)*(1/tauL), time > t_Ladd, 0);
  Ratio_AKARp_AKARtot := AKARp_cell/(AKAR_cell + AKARp_cell + PKAC_AKAR_cell + PP_AKARp_cell);

  // Reactions:
  cAMP_synthesis_GsAC: $ATP_cell -> cAMP_cell; Vmax_cAMP_synthesis_GsAC*ATP_cell*(1/(cAMP_synthesis_GsAC_Km + ATP_cell))*cell;
  bind_b1AR_propranolol: Propranolol_cell + b1AR_cell -> b1ARinhib_cell; (bind_b1AR_propranolol_Kf*Propranolol_cell*b1AR_cell + -(bind_b1AR_propranolol_Kr*b1ARinhib_cell))*cell;
  add_propranolol:  -> Propranolol_cell; ar_for_add_propranolol*cell;
  cAMP_photolysis: DMNB_cAMP_cell -> cAMP_cell; cAMP_photolysis_kphot*light_cAMP_photolysis*DMNB_cAMP_cell*cell;
  LRG_activation: L_b1AR_Gs_cell -> Gsa_gtp_cell + Gsbg_cell + L_b1AR_cell; LRG_activation_k_gact*L_b1AR_Gs_cell*cell;
  bind_Lb1AR_Gs: Gs_cell + L_b1AR_cell -> L_b1AR_Gs_cell; (bind_Lb1AR_Gs_Kf*Gs_cell*L_b1AR_cell + -(bind_Lb1AR_Gs_Kr*L_b1AR_Gs_cell))*cell;
  desens_bark: L_b1AR_cell -> b1AR_S464_cell; desens_bark_k_barkp*(L_b1AR_cell + L_b1AR_Gs_cell)*cell;
  bind_cAMP_ARC: ARC_cell + cAMP_cell -> A2RC_cell; (bind_cAMP_ARC_Kf*ARC_cell*cAMP_cell + -(bind_cAMP_ARC_Kr*A2RC_cell))*cell;
  bind_b1AR_Gs: b1AR_cell + Gs_cell -> b1AR_Gs_cell; (bind_b1AR_Gs_Kf*b1AR_cell*Gs_cell + -(bind_b1AR_Gs_Kr*b1AR_Gs_cell))*cell;
  bind_PDEcAMP: PDE_cell + cAMP_cell -> PDEcAMP_cell; (bind_PDEcAMP_Kf*PDE_cell*cAMP_cell + -(bind_PDEcAMP_Kr*PDEcAMP_cell))*cell;
  Gs_gtp_hydrolysis: Gsa_gtp_cell -> Gsa_gdp_cell; Gs_gtp_hydrolysis_khyd*Gsa_gtp_cell*cell;
  Gs_reassociation: Gsbg_cell + Gsa_gdp_cell -> Gs_cell; Gs_reassociation_k_reassoc*Gsa_gdp_cell*Gsbg_cell*cell;
  bind_FskAC: AC_cell + Fsk_cell -> FskAC_cell; (bind_FskAC_Kf*AC_cell*Fsk_cell + -(bind_FskAC_Kr*FskAC_cell))*cell;
  bind_AKARp_PP: PP_cell + AKARp_cell -> PP_AKARp_cell; (bind_AKARp_PP_Kf*PP_cell*AKARp_cell + -(bind_AKARp_PP_Kr*PP_AKARp_cell))*cell;
  desens_pka: b1AR_cell -> b1AR_p_cell; (desens_pka_kpkap*PKAC_cell*(L_b1AR_Gs_cell + b1AR_cell + L_b1AR_cell) + -(desens_pka_kpkam*b1AR_p_cell))*cell;
  bind_L_b1ARGs: b1AR_Gs_cell + L_cell -> L_b1AR_Gs_cell; (bind_L_b1ARGs_Kf*b1AR_Gs_cell*L_cell + -(bind_L_b1ARGs_Kd*L_b1AR_Gs_cell))*cell;
  bind_L_b1AR: L_cell + b1AR_cell -> L_b1AR_cell; (bind_L_b1AR_Kf*L_cell*b1AR_cell + -(bind_L_b1AR_Kr*L_b1AR_cell))*cell;
  bind_A2R_PKAC: A2RC_cell -> A2R_cell + PKAC_cell; (bind_A2R_PKAC_Kf*A2RC_cell + -(bind_A2R_PKAC_Kr*A2R_cell*PKAC_cell))*cell;
  inhib_PKAC: PKAC_cell + PKI_cell -> PKAC_PKI_cell; (inhib_PKAC_Kf*PKAC_cell*PKI_cell + -(inhib_PKAC_Kr*PKAC_PKI_cell))*cell;
  bind_RC_cAMP: RC_cell + cAMP_cell -> ARC_cell; (bind_RC_cAMP_Kf*RC_cell*cAMP_cell + -(bind_RC_cAMP_Kr*ARC_cell))*cell;
  cAMP_synthesis_FskAC: $ATP_cell -> cAMP_cell; Vmax_cAMP_synthesis_FskAC*ATP_cell*(1/(cAMP_synthesis_FskAC_Km + ATP_cell))*cell;
  add_Ligand:  -> L_cell; ar_for_add_Ligand*cell;
  bind_Gs_AC: Gsa_gtp_cell + AC_cell -> GsAC_cell; (bind_Gs_AC_Kf*Gsa_gtp_cell*AC_cell + -(bind_Gs_AC_Kr*GsAC_cell))*cell;
  resens_bark: b1AR_S464_cell -> L_b1AR_cell; resens_bark_k_barkm*b1AR_S464_cell*cell;
  bind_PKAC_AKAR: AKAR_cell + PKAC_cell -> PKAC_AKAR_cell; (bind_PKAC_AKAR_Kf*AKAR_cell*PKAC_cell + -(bind_PKAC_AKAR_Kr*PKAC_AKAR_cell))*cell;
  inhibit_PDE: PDE_cell + IBMX_cell -> PDE_IBMX_cell; (Kf_inhibit_PDE*PDE_cell*IBMX_cell + -(Kr_inhibit_PDE*PDE_IBMX_cell))*cell;
  AKARp_dephosph: PP_AKARp_cell -> PP_cell + AKAR_cell; AKARp_dephosph_kcat_PP_AKARp*PP_AKARp_cell*cell;
  AKAR_phosph: PKAC_AKAR_cell -> AKARp_cell + PKAC_cell; AKAR_phosph_kpka_akar*PKAC_AKAR_cell*cell;
  RG_activation: b1AR_Gs_cell -> Gsa_gtp_cell + Gsbg_cell + b1AR_cell; RG_activation_k_gact*b1AR_Gs_cell*cell;
  cAMP_degradation: PDEcAMP_cell -> PDE_cell; cAMP_degradation_kpde*PDEcAMP_cell*cell;

  // Species initializations:
  Gsbg_cell = 0;
  L_cell = 0;
  Gsa_gdp_cell = 0;
  Gsa_gtp_cell = 0;
  b1AR_S464_cell = 0;
  PDEcAMP_cell = 0;
  PDE_cell = 0.014;
  ATP_cell = 5000;
  b1AR_cell = 0.0132;
  Gs_cell = 3.83;
  A2RC_cell = 0;
  A2R_cell = 0;
  PKAC_cell = 0;
  ARC_cell = 0;
  PKAC_AKAR_cell = 0;
  Propranolol_cell = 0;
  b1ARinhib_cell = 0;
  light_spot_cell = 0;
  AC_cell = 0.0497;
  PKI_cell = 0.18;
  PKAC_PKI_cell = 0;
  RC_cell = 1.18;
  b1AR_Gs_cell = 0;
  cAMP_cell = 0;
  GsAC_cell = 0;
  IBMX_cell = 0;
  PDE_IBMX_cell = 0;
  Fsk_cell = 0;
  FskAC_cell = 0;
  b1AR_p_cell = 0;
  L_b1AR_cell = 0;
  AKAR_cell = 10;
  AKARp_cell = 0;
  PP_cell = 0.67;
  PP_AKARp_cell = 0;
  DMNB_cAMP_cell = 3.01;
  L_b1AR_Gs_cell = 0;

  // Compartment initializations:
  ec = 1;
  ec has litre;
  cell = 0.25;
  cell has litre;
  membrane = 0.25;
  membrane has um2;

  // Variable initializations:
  k_ac_gsa_cAMP_synthesis_GsAC = 2.5;
  k_ac_gsa_cAMP_synthesis_GsAC has s_1;
  Vmax_cAMP_synthesis_GsAC has uM_s_1;
  ton_global_light_cAMP_photolysis = 2160;
  ton_global_light_cAMP_photolysis has s;
  toff_global_light_cAMP_photolysis = 2165;
  toff_global_light_cAMP_photolysis has s;
  ton_local_light_cAMP_photolysis = 0;
  ton_local_light_cAMP_photolysis has s;
  toff_local_light_cAMP_photolysis = 0;
  toff_local_light_cAMP_photolysis has s;
  light_cAMP_photolysis has uM;
  kfsk_cAMP_synthesis_FskAC = 7.3;
  kfsk_cAMP_synthesis_FskAC has s_1;
  Vmax_cAMP_synthesis_FskAC has uM_s_1;
  Kf_inhibit_PDE has uM_1_s_1;
  Kr_inhibit_PDE has s_1;
  Propranolol_pipette = 1;
  tauPropranolol = 1;
  t_propadd = 2420;
  L_pipette = 0.1;
  tauL = 1;
  t_Ladd = 2160;
  cAMP_synthesis_GsAC_Km = 315;
  cAMP_synthesis_GsAC_Km has uM;
  bind_b1AR_propranolol_Kf = 1000;
  bind_b1AR_propranolol_Kf has uM_1_s_1;
  bind_b1AR_propranolol_Kr = 8;
  bind_b1AR_propranolol_Kr has s_1;
  cAMP_photolysis_kphot = 0.1;
  cAMP_photolysis_kphot has uM_1_s_1;
  LRG_activation_k_gact = 16;
  LRG_activation_k_gact has s_1;
  bind_Lb1AR_Gs_Kf = 1000;
  bind_Lb1AR_Gs_Kf has uM_1_s_1;
  bind_Lb1AR_Gs_Kr = 62;
  bind_Lb1AR_Gs_Kr has s_1;
  desens_bark_k_barkp = 0.0011;
  desens_bark_k_barkp has s_1;
  bind_cAMP_ARC_Kf = 1000;
  bind_cAMP_ARC_Kf has uM_1_s_1;
  bind_cAMP_ARC_Kr = 1640;
  bind_cAMP_ARC_Kr has s_1;
  bind_b1AR_Gs_Kf = 1000;
  bind_b1AR_Gs_Kf has uM_1_s_1;
  bind_b1AR_Gs_Kr = 33000;
  bind_b1AR_Gs_Kr has s_1;
  bind_PDEcAMP_Kf = 1000;
  bind_PDEcAMP_Kf has uM_1_s_1;
  bind_PDEcAMP_Kr = 1300;
  bind_PDEcAMP_Kr has s_1;
  Gs_gtp_hydrolysis_khyd = 0.8;
  Gs_gtp_hydrolysis_khyd has s_1;
  Gs_reassociation_k_reassoc = 1210;
  Gs_reassociation_k_reassoc has uM_1_s_1;
  bind_FskAC_Kf = 1000;
  bind_FskAC_Kf has uM_1_s_1;
  bind_FskAC_Kr = 860000;
  bind_FskAC_Kr has s_1;
  bind_AKARp_PP_Kf = 1000;
  bind_AKARp_PP_Kf has uM_1_s_1;
  bind_AKARp_PP_Kr = 7000;
  bind_AKARp_PP_Kr has s_1;
  desens_pka_kpkap = 0.0036;
  desens_pka_kpkap has uM_1_s_1;
  desens_pka_kpkam = 0.0022;
  desens_pka_kpkam has s_1;
  bind_L_b1ARGs_Kf = 1000;
  bind_L_b1ARGs_Kf has uM_1_s_1;
  bind_L_b1ARGs_Kd = 0.535714;
  bind_L_b1ARGs_Kd has s_1;
  bind_L_b1AR_Kf = 1000;
  bind_L_b1AR_Kf has uM_1_s_1;
  bind_L_b1AR_Kr = 285;
  bind_L_b1AR_Kr has s_1;
  bind_A2R_PKAC_Kf = 4375;
  bind_A2R_PKAC_Kf has s_1;
  bind_A2R_PKAC_Kr = 1000;
  bind_A2R_PKAC_Kr has uM_1_s_1;
  inhib_PKAC_Kf = 1000;
  inhib_PKAC_Kf has uM_1_s_1;
  inhib_PKAC_Kr = 0.2;
  inhib_PKAC_Kr has s_1;
  bind_RC_cAMP_Kf = 1000;
  bind_RC_cAMP_Kf has uM_1_s_1;
  bind_RC_cAMP_Kr = 9140;
  bind_RC_cAMP_Kr has s_1;
  cAMP_synthesis_FskAC_Km = 860;
  cAMP_synthesis_FskAC_Km has uM;
  bind_Gs_AC_Kf = 1000;
  bind_Gs_AC_Kf has uM_1_s_1;
  bind_Gs_AC_Kr = 400;
  bind_Gs_AC_Kr has s_1;
  resens_bark_k_barkm = 0.0022;
  resens_bark_k_barkm has s_1;
  bind_PKAC_AKAR_Kf = 1000;
  bind_PKAC_AKAR_Kf has uM_1_s_1;
  bind_PKAC_AKAR_Kr = 21000;
  bind_PKAC_AKAR_Kr has s_1;
  AKARp_dephosph_kcat_PP_AKARp = 8.5;
  AKARp_dephosph_kcat_PP_AKARp has s_1;
  AKAR_phosph_kpka_akar = 54;
  AKAR_phosph_kpka_akar has s_1;
  RG_activation_k_gact = 16;
  RG_activation_k_gact has s_1;
  cAMP_degradation_kpde = 5;
  cAMP_degradation_kpde has s_1;

  // Other declarations:
  var Vmax_cAMP_synthesis_GsAC, light_cAMP_photolysis, Vmax_cAMP_synthesis_FskAC;
  var Kf_inhibit_PDE, Kr_inhibit_PDE, ar_for_add_propranolol, ar_for_add_Ligand;
  var Ratio_AKARp_AKARtot;
  const ec, cell, membrane, k_ac_gsa_cAMP_synthesis_GsAC, ton_global_light_cAMP_photolysis;
  const toff_global_light_cAMP_photolysis, ton_local_light_cAMP_photolysis;
  const toff_local_light_cAMP_photolysis, kfsk_cAMP_synthesis_FskAC, Propranolol_pipette;
  const tauPropranolol, t_propadd, L_pipette, tauL, t_Ladd;

  // Unit definitions:
  unit substance = 1e-6 mole;
  unit volume = litre;
  unit area = (1e-6 metre)^2;
  unit molecule = item;
  unit umol_litre_um_3 = 1e-21 mole;
  unit um2 = (1e-6 metre)^2;
  unit uM_s_1 = 0.001 dimensionless * mole / (metre^3 * second);
  unit uM = 0.001 dimensionless * mole / metre^3;
  unit s_1 = 1 / second;
  unit uM_1_s_1 = 1000 dimensionless * metre^3 / (mole * second);
  unit s = second;

  // Display Names:
  Gsbg_cell is "Gsbg";
  L_cell is "L";
  Gsa_gdp_cell is "Gsa_gdp";
  Gsa_gtp_cell is "Gsa_gtp";
  b1AR_S464_cell is "b1AR_S464";
  PDEcAMP_cell is "PDEcAMP";
  PDE_cell is "PDE";
  ATP_cell is "ATP";
  b1AR_cell is "b1AR";
  Gs_cell is "Gs";
  A2RC_cell is "A2RC";
  A2R_cell is "A2R";
  PKAC_cell is "PKAC";
  ARC_cell is "ARC";
  PKAC_AKAR_cell is "PKAC_AKAR";
  Propranolol_cell is "Propranolol";
  b1ARinhib_cell is "b1ARinhib";
  light_spot_cell is "light_spot";
  AC_cell is "AC";
  PKI_cell is "PKI";
  PKAC_PKI_cell is "PKAC_PKI";
  RC_cell is "RC";
  b1AR_Gs_cell is "b1AR_Gs";
  cAMP_cell is "cAMP";
  GsAC_cell is "GsAC";
  IBMX_cell is "IBMX";
  PDE_IBMX_cell is "PDE_IBMX";
  Fsk_cell is "Fsk";
  FskAC_cell is "FskAC";
  b1AR_p_cell is "b1AR_p";
  L_b1AR_cell is "L_b1AR";
  AKAR_cell is "AKAR";
  AKARp_cell is "AKARp";
  PP_cell is "PP";
  PP_AKARp_cell is "PP_AKARp";
  DMNB_cAMP_cell is "DMNB_cAMP";
  L_b1AR_Gs_cell is "L_b1AR_Gs";

  // CV terms:
  ec identity "http://identifiers.org/go/GO:0005576"
  cell identity "http://identifiers.org/go/GO:0005623"
  membrane identity "http://identifiers.org/go/GO:0016020"
  Gsbg_cell identity "http://identifiers.org/go/GO:0031680"
  Gsa_gdp_cell part "http://identifiers.org/chebi/CHEBI:17552",
                    "http://identifiers.org/interpro/IPR001019"
  Gsa_gdp_cell part "http://identifiers.org/interpro/IPR001019",
                    "http://identifiers.org/kegg.compound/C00035"
  Gsa_gtp_cell part "http://identifiers.org/chebi/CHEBI:15996",
                    "http://identifiers.org/interpro/IPR001019"
  Gsa_gtp_cell part "http://identifiers.org/interpro/IPR001019",
                    "http://identifiers.org/kegg.compound/C00044"
  b1AR_S464_cell part "http://identifiers.org/uniprot/Q5T5Y4"
  PDE_cell hypernym "http://identifiers.org/uniprot/P54750"
  ATP_cell identity "http://identifiers.org/chebi/CHEBI:15422",
                    "http://identifiers.org/kegg.compound/C00002"
  b1AR_cell hypernym "http://identifiers.org/uniprot/Q5T5Y4"
  Gs_cell hypernym "http://identifiers.org/uniprot/P63092"
  PKAC_AKAR_cell part "http://identifiers.org/uniprot/P17612"
  AC_cell hypernym "http://identifiers.org/uniprot/Q08828"
  b1AR_Gs_cell part "http://identifiers.org/uniprot/P63092",
                    "http://identifiers.org/uniprot/Q5T5Y4"
  cAMP_cell identity "http://identifiers.org/chebi/CHEBI:17489",
                     "http://identifiers.org/kegg.compound/C00575"
  GsAC_cell part "http://identifiers.org/uniprot/Q08828",
                 "http://identifiers.org/uniprot/P63092"
  b1AR_p_cell hypernym "http://identifiers.org/uniprot/Q5T5Y4"
  L_b1AR_cell part "http://identifiers.org/uniprot/Q5T5Y4"
  DMNB_cAMP_cell identity "http://identifiers.org/chebi/CHEBI:17489",
                          "http://identifiers.org/kegg.compound/C00575"
  L_b1AR_Gs_cell part "http://identifiers.org/uniprot/P63092",
                      "http://identifiers.org/uniprot/Q5T5Y4"
  cAMP_synthesis_GsAC hypernym "http://identifiers.org/go/GO:0006171"
  bind_b1AR_propranolol hypernym "http://identifiers.org/go/GO:0031690"
  LRG_activation hypernym "http://identifiers.org/go/GO:0004939"
  bind_Lb1AR_Gs hypernym "http://identifiers.org/go/GO:0004939"
  bind_cAMP_ARC hypernym "http://identifiers.org/go/GO:0030552"
  bind_b1AR_Gs hypernym "http://identifiers.org/go/GO:0004939"
  bind_PDEcAMP hypernym "http://identifiers.org/go/GO:0030552"
  Gs_gtp_hydrolysis hypernym "http://identifiers.org/go/GO:0003924"
  Gs_reassociation parthood "http://identifiers.org/go/GO:0031684"
  bind_L_b1ARGs hypernym "http://identifiers.org/go/GO:0004939"
  bind_L_b1AR hypernym "http://identifiers.org/go/GO:0031690"
  inhib_PKAC hypernym "http://identifiers.org/go/GO:0004862"
  bind_RC_cAMP hypernym "http://identifiers.org/go/GO:0030552"
  cAMP_synthesis_FskAC hypernym "http://identifiers.org/go/GO:0006171"
  bind_Gs_AC hypernym "http://identifiers.org/go/GO:0008179"
  RG_activation hypernym "http://identifiers.org/go/GO:0004939"
  cAMP_degradation hypernym "http://identifiers.org/go/GO:0006198"
end

Saucerman2006_PKA is "Saucerman2006_PKA"

Saucerman2006_PKA model_entity_is "http://identifiers.org/biomodels.db/MODEL8003201958"
Saucerman2006_PKA model_entity_is "http://identifiers.org/biomodels.db/BIOMD0000000165"
Saucerman2006_PKA description "http://identifiers.org/pubmed/16905651"
Saucerman2006_PKA origin "http://identifiers.org/biomodels.db/MODEL1006230118"
Saucerman2006_PKA taxon "http://identifiers.org/taxonomy/10116"
Saucerman2006_PKA hypernym "http://identifiers.org/go/GO:0007188",
                           "http://identifiers.org/go/GO:0034199"
Saucerman2006_PKA property "http://identifiers.org/mamo/MAMO_0000046"
Saucerman2006_PKA container "http://identifiers.org/cl/CL:0002495"
Saucerman2006_PKA property "http://identifiers.org/doid/DOID:114"
