Abstract: We construct systematic models for the insulin signaling network mediated by IRS1 and IRS2, through the integration of current knowledge in the literature into mathematical models of insulin signaling pathways. For the model, we revisit the Nested Stochastic Simulation Algorithm (NSSA) and first prove its strong convergence.