Open Access
This article is

- freely available
- re-usable

*Metabolites*
**2015**,
*5*(4),
766-793;
https://doi.org/10.3390/metabo5040766

Article

Quasi-Steady-State Analysis based on Structural Modules and Timed Petri Net Predict System’s Dynamics: The Life Cycle of the Insulin Receptor

^{1}

Molecular Bioinformatics, Cluster of Excellence “Macromolecular Complexes”, Institute of Computer Science, Johann Wolfgang Goethe-University Frankfurt am Main, Robert-Mayer-Str. 11-15, 60325 Frankfurt am Main, Germany

^{2}

Sanofi Aventis Deutschland GmbH, 65926 Frankfurt am Main, Germany

^{*}

Author to whom correspondence should be addressed.

Academic Editor:
Kazuyuki Shimizu

Received: 11 September 2015 / Accepted: 9 December 2015 / Published: 18 December 2015

## Abstract

**:**

The insulin-dependent activation and recycling of the insulin receptor play an essential role in the regulation of the energy metabolism, leading to a special interest for pharmaceutical applications. Thus, the recycling of the insulin receptor has been intensively investigated, experimentally as well as theoretically. We developed a time-resolved, discrete model to describe stochastic dynamics and study the approximation of non-linear dynamics in the context of timed Petri nets. Additionally, using a graph-theoretical approach, we analyzed the structure of the regulatory system and demonstrated the close interrelation of structural network properties with the kinetic behavior. The transition invariants decomposed the model into overlapping subnetworks of various sizes, which represent basic functional modules. Moreover, we computed the quasi-steady states of these subnetworks and demonstrated that they are fundamental to understand the dynamic behavior of the system. The Petri net approach confirms the experimental results of insulin-stimulated degradation of the insulin receptor, which represents a common feature of insulin-resistant, hyperinsulinaemic states.

Keywords:

insulin receptor; Petri net; timed Petri net; transition invariant; functional modules; quasi-steady state## 1. Introduction

Physical activity and insulin control the energy metabolism in mammalian cells. In response to elevated blood glucose levels, pancreatic beta cells located in the islets of Langerhans secrete insulin. The secreted insulin triggers the uptake of glucose in adipose and muscle tissue. Standard medical diagnosis of diabetes, insulin resistance, and other disorders of the energy metabolism include the testing of the glucose-insulin regulatory system [1,2,3], e.g., by an oral or intravenous glucose tolerance test.

Initially, insulin binds and activates the insulin receptor (IR) located as a homodimer in the membrane of the cell. Upon a very fast binding event of insulin to the extracellular binding site of the IR homodimer [4,5], a slower rate-limiting phase occurs that manifests with a conformational change in the complex [6]. The binding of insulin to the IR triggers autophosphorylation of the intracellular IR domain, and the autophosphorylation initiates a signaling cascade for the regulation of glucose uptake [7,8]. The cell maintains the capability to tight regulation by recycling of the phosphorylated IR homodimer. The recovery of the IR is accomplished either by the dissociation of insulin from the IR or via an internalization of the entire complex (endocytosis), which moves the complex into the cytoplasm. In the cytoplasm, the insulin dissociates from the IR, and the dissociated insulin is degraded [9]. After dissociation of insulin, the IR becomes dephosphorylated and either returns back to the membrane or is degraded, see Figure 1. The recycling of the internalized IR is a critical step for the regulation of the energy metabolism and subject of intensive experimental and theoretical studies.

Since the binding of insulin and insulin analogs to the IR is of great importance to pharmaceutical applications, extensive experimental research [4,5,6,10,11,12,13,14] has been focused on this complex extracellular mechanism. The engagement of insulin with the receptor displays allosteric properties, such as negative cooperativity and insulin dependence of the dissociation rate. Several groups [15,16,17,18,19,20,21] have proposed mechanisms for the binding process. Molecular processes inside the cell are much more difficult to be experimentally accessed.

Only little is known, how the IR transmembrane domains transfer signals across the membrane and how the receptor becomes activated. A broad range of experimental methods [22,23,24,25,26] provides quantitative data, but currently, the experimental view on the molecular details of the life cycle of the IR inside the cell remains still unclear. The various theoretical models for the IR recycling do not converge on a unique, consensus network topology. The modeling of the detailed topology of the life cycle of the IR remains problematic due to many still unknown biochemical and structural properties.

Numerous mathematical models for the glucose-insulin regulatory system have been developed over the past 50 years; for a review see [27]. One of the first models [28,29,30] of the IR recycling is the two-component ordinary differential equation (ODE) system of Quon & Campfield [31]. Their model is able to reproduce experimental data of ligand-induced down- and up-regulation of receptors as well as the initial spontaneous display of the surface IRs for cell cultures of BC3H-1 myocytes. Extended and more detailed models have been developed and studied over the last years [10,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51]. For a map of relationships between the models, see Figure 2 in the review of Ajmera et al. [52]. Each proposed model is able to reproduce a given set of experimental data measured under specific conditions for a given cell type, e.g., adipocytes, lymphocytes, hepatocytes, or myocytes. The values for the kinetic and equilibrium rate constants depend on several factors, such as cell type, temperature, and composition of the culture media.

**Figure 1.**The processes of insulin-dependent activation and recycling of the IR. First, insulin binds to the IR. Afterwards, the IR gets autophosphorylated. Two alternative processes describe the dephosphorylation of the IR: (1) The IR can dephosphorylate on the plasma membrane by the dissociation of insulin; (2) The IR can be internalized into the cytoplasm. There, the insulin is degraded, and the IR is transported back to the plasma membrane. The processes of dephosphorylation on the plasma membrane and in the cytoplasm are both catalyzed by the enzyme PTP1B.

The IR is synthesized in the endoplasmic reticulum and delivered via the Golgi apparatus to the plasma membrane. Ligand binding triggers endocytosis, and the internalized activated tyrosine kinase receptor is a target for effective lysosomal degradation [53,54]. The main focus of mathematical modeling is the regulation of glucose uptake within the time range of minutes up to few hours. Consequently, the models either completely neglect the synthesis and degradation of the IR or apply a reaction rate constant of $k=1.67\times {10}^{-18}$ min${}^{-1}$ [34,35,41,42,51] for the degradation process. This assumes an astronomic time scale of $1.1\times {10}^{12}$ years, leading to a theoretical steady-state value of 100 M IR concentration for a cell [37]. Recently, Song et al. [55] have demonstrated that the E3 ligase activity of the muscle-specific mitsugumin 53 (MG53) regulates the IR stability through ubiquitin-dependent degradation. They have identified the protein, MG53, as a therapeutic target for treating metabolic disorders. Note that the down-regulation of the IR by insulin-stimulated endocytosis and degradation is a common feature of most insulin-resistant, hyperinsulinaemic states [56,57,58,59,60].

**Figure 2.**The PN describes the topological network structure of insulin dependent activation and recycling. Rectangles represent transitions, i.e., reactions. Places are plotted as circles. Directed, weighted edges connect transitions and places. The places represent chemical species, e.g., insulin, receptors, or complexes, and can carry tokens, which represent discrete amounts of the chemical species. Transitions can consume tokens from the pre-places and generate tokens on the post-places.

This work presents a Petri net (PN) approach [61,62,63,64,110] for the modeling of the IR recycling. PNs are worthwhile for modeling the IR recycling for two reasons. First, all theoretical models published so far in the literature are based on the approximation of the kinetics by the mass action principle. Conventionally, a mass action principle formulates an ODE system [65,66,67] or a master equation [68,69,70] for discrete entities. The mass action principle assumes an isotropic and homogeneous physical environment in which a molecule can freely move in any direction, which is not given for the movement of the IR in the environment of a highly structured and organized cell. Second, the steps involved in the IR recycling are specific to the cell type and the environmental conditions of the cell. A model may approximate the system’s behavior for given experimental conditions, but the application to another cell type or to altered environmental conditions at least requires the adaption of the model, e.g., by refitting the rate constants and initial concentrations.

We chose the network topology, shown in Figure 2, in accordance with the reaction system of Sedaghat et al. [34], who proposed a mathematical model of the metabolic insulin signaling pathways. They abstain from describing allosteric properties of the insulin binding mechanism. Their model gives a coarse grain, but consistent description of the reactions. In contrast to the majority of more complex models, this model describes a complete life cycle of the receptor, including the steps of synthesis and degradation. Despite its simplicity the model reflects the basic mechanisms well. It has sufficient variability to approximate the kinetics of different cell types for a broad range of experimental conditions if the rate constants are appropriately refitted. The properties of the model have been thoroughly studied [37,38,42,51,71]. Despite its limitations [46] the model provides a simple reference network topology which can be easily extended.

In this paper, we present a PN model for the IR activation and recycling. We focused on molecular processes that regulate the response of a cell to an alteration of the level of secreted insulin. We use the PN formalism, because it is independent of the physical concept and is able to provide ways to explore concepts, alternative to the mass action kinetics. The PN approach analyzes the structure of a system of interacting entities. Neither the values of the rate constants nor the detailed kinetics of each reaction have to be known a priori. The basic prerequisite for a PN approach is the knowledge of the topology of the IR life cycle.

The paper is organized as follows. In the first step, we briefly give the main definitions and the properties of PNs and timed PNs (TPNs). Then, we describe the PN and TPN for the IR system. TPNs employ special time-dependent firing rules to generate the dynamics of token numbers that may be capable of mimicking the IR life cycle. In the next part, we apply standard structural PN analysis to the network topology. We focus on transition invariants (TIs) and their interpretation to understand the functional modules of the IR life cycle. Based on the TI, we derive analytical expressions for critical parameters and the time course of concentrations of mass action reaction kinetics. The results of the PN approach demonstrate that, even without knowing the kinetic parameters, the experimental findings of insulin-induced long-term down-regulation of the cellular IR level can be confirmed [53,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91].

## 2. Methods

#### 2.1. Petri Nets

Petri nets are directed, bipartite graphs. The two types of vertices called places and transitions define the passive and the active components, respectively, of the system. Vertices are connected by directed, labeled edges in such a way that only edges between vertices of different type exist. Considering a transition, the places connected by edges, pointing to the transition, are called pre-places, and places connected by edges, coming from the transition, are called post-places. Considering a place, pre-transitions and post-transitions are defined analogously.

Definition Petri net (PN): A PN is a 5-tuple $PN=(P,T,F,W,{M}_{0})$, where

- P is a finite set of places,
- T is a finite set of transitions,
- $F\subseteq (P\times T)\cup (P\times T)$ is a set of edges,
- $W:F\to \mathbb{N}$ is the set of edge weights, and
- ${M}_{0}:P\to {\mathbb{N}}_{0}$ is the initial marking.

The dynamics of the system is implemented using movable objects called tokens which are located on the places. A certain token distribution defines a certain system state. Tokens can move from one place to another one via transitions, following a firing rule. First, the transition has to be activated, i.e., its pre-places have to carry at least as many tokens as indicated by the corresponding edge weights. In Place/Transition-PNs (P/T-PNs), tokens will be consumed and removed at the same time. So, the firing rule does not consider any time constraints or parameters. For a detailed introduction into PN formalism see [61,62,64,110], and for their application in biology, see [63,107,111].

#### 2.1.1. Timed Petri Nets

TPNs explicitly consider the time, for example as time stamps of tokens or time delay of transitions. Several definitions are possible, see [92] for a formal introduction. Simulating a TPN, the firing rule uses a global clock time and follows an artificial integer simulation time (clock) that should not be confused with the physical reaction time. The global clock time is initialized with zero before starting the simulation.

We apply the concept of colored PNs (CPNs) [93] to represent a TPN, using the software CPN Tools [93,94]. CPN Tools provides the opportunity to color a timed token by an associated number called time stamp. At a given clock time, a timed token is either active, if its time stamp is less than or equals the global clock time or inactive, otherwise. In a TPN, a transition is capable of processing an infinitely large number of tokens at a given clock time. We characterize a transition additionally by a constant delay expression of a transition time inscription.

The firing rule can be described as follows. A transition is active if a sufficient number of active tokens is available on its pre-places. The algorithm chooses randomly one transition from the set of active transitions. The selected transition fires by removing active tokens from the pre-places and creating tokens on the post-places. The time stamp of a token created on a post-place is the current global clock time plus the time delay of the firing transition. The random selection and firing of active transitions continues until the set of active transitions is empty. When the set of active transitions is empty and no further transition can fire, the algorithm increments the clock time until at least one transition is enabled. To limit the maximal firing rate of a transition, we complemented each transition by a place called time generation place (TGP). A TGP is a pre- and post-place of a transition. It carries a single timed token which is necessary to activate the transition, but will not be consumed by firing of the transition. At every time point the transition fires, the time stamp of the token increases and the single token of the TGP becomes inactive.

Figure 3 illustrates a small example of a TPN. Figure 3a depicts the TPN before the simulation. The TPN consists of three places, place 1, place 2, and a TGP, and one transition connected by directed edges with an edge of weight 1. In the initial state of the TPN, place 2 carries no token and place 1 10 tokens, each of them with a time stamp of $@0$. There exists a global clock time (not explicitly depicted) which is in the initial state, i.e., equals 0. For the transition, a time delay of @ + 2 is defined, indicating that the time stamp of each token processed by this transition increases by 2. The TGP is a pre- and post-place of the transition, i.e., the token on that place will not be consumed when the transition fires. This token is initialized with a time stamp of $@0$.

**Figure 3.**An example for a TPN. The TPN consists of three places, place 1, place 2, and a time generation place (TGP), and one transition connected by directed edges with an edge of weight 1. (

**a**) In the initial state of the TPN, place 2 carries no token and place 1 10 tokens, each of them with a time stamp of $@0$. There exists a global clock time (not explicitly depicted) which is in the initial state 0. For the transition, a time delay of @ + 2 is defined, indicating that the time stamp of each token processed by this transition increases by 2. The TGP is a pre- and post-place of the transition, i.e., the token on that place will not be consumed when the transition fires. This token is initialized with a time stamp of $@0$. (${1}^{\prime}\left(\right)$ and ${1}^{\prime}\left[1\right]$ are specific notations of the CPN Tools.); (

**b**) The state of the TPN after four simulation steps. 4 tokens on place 1 were consumed and produced on place 2, carrying the time stamps, $@2,@4,@6$, and $@8$, respectively. The other six tokens remain still on place 1 with a time stamp of zero. The transition is enabled if on place 1 and the TGP exist at least one token with a time stamp less or equals the global clock time. If there is no transition activated anymore, the global clock time will be increased until at least one transition can fire. Here, the global clock time has to be increased by 2 with each firing step. The TGP ensures that the tokens can be distinguished from each other, i.e., only one token is moved from place 1 to place 2 for a given global clock time. After the first firing step, the time stamp of the TGP token and the token on place 2 have a time stamp of 2. The global clock time is still 0. Now, the transition is not anymore enabled, because there is no token with a time stamp less than or equals the global clock time on the TGP. For the next firing, the global clock time has to be increased by 2.

Figure 3b depicts the state of the TPN after four simulation steps. 4 tokens on place 1 were consumed and produced on place 2, carrying the time stamps, $@2,@4,@6$, and $@8$, respectively. The other six tokens remain still on place 1 with a time stamp of zero. The transition is enabled if on place 1 and on the TGP exist at least one token with a time stamp less or equals the global clock time. If there is no transition anymore activated, the clock time will be increased until at least one transition can fire. Here, the global clock time has to be increased by 2 with each firing step. The TGP ensures that the tokens can be distinguished from each other, i.e., only one token is moved from place 1 to place 2 for a given global clock time. After the first firing step, the time stamp of the TGP token and the token on place 2 have a time stamp of 2. The global clock time is still 0. Now, the transition is not anymore enabled, because there is no token with a time stamp less than or equals the global clock time on the time generation place. For the next firing, the global clock time has to be increased by 2.

#### 2.1.2. General Properties

Several graph-based properties can be defined for PNs. Here, we consider those that have a relevance in modeling biochemical networks. For a more detailed overview, see [95]. A net is pure if it is loop-free, i.e., there exist no transition, for which a pre-place is also a post-place. A biological PN is not pure, if they explicitly model, for example, catalytic reactions, using read or test edges, i.e., loops. A PN is ordinary, if every edge weight equals one. This is often valid for signal transduction networks, but rare for metabolic systems, where we often have stoichiometric numbers greater than one. Homogeneity describes the property for any place, when all edges, starting from the considered place, have the same weights. A network model should be connected, i.e., there exist a undirected path from each vertex to each other vertex. An important property is liveness, meaning that there is no deadlock in an initial marking. A PN is live, if all its transitions are live in the initial marking, i.e., no state is reachable in which a transition is dead, meaning, it can never fire again. Liveness is a useful property in particular during the modeling process. Simulating the network, dead locks will easily be indicated. But, for being sure that there is no deadlock, liveness has to be checked.

#### 2.1.3. Invariant Properties

Invariant properties of a network are important because they describe the complete basic systems behavior. They can be used for network verification regarding completeness and correctness of a network. In PNs, two types of invariants can be defined, the place invariants, leading to substance conservation rules, and the transition invariants, giving functionally basic subnetworks.

The definitions of the invariants are based on the incidence matrix. The incidence matrix C of a PN is an $(n\times m)$-matrix, where n denotes the number of places and m the number of transitions. Every matrix entry ${c}_{ij}$ gives the token change on the place ${p}_{i}$ by the firing of the transition ${t}_{j}$. A transition invariant (TI) is defined as a non-zero vector $x\in {\mathbb{N}}_{0}^{m}$ which holds the equation

$$C\xb7x=0$$

A TI represents a multiset of transitions whose firing has no effect on the marking, i.e., if all of them have fired the required number of times, an arbitrary initial marking is reproduced. A trivial TI consists of one forward and one backward reaction. Verifying a PN, the non-trivial TIs are of interest. For the correctness, each of them should have a senseful biological interpretation. A net holds the CTI property or it is Covered by TIs, respectively, if each transitions of the PN belongs to at least one TI. A transition which is not a member of one TI could be removed, because it is not involved in system’s dynamics. Thus, the CTI property represents a completeness criterion. The transitions of a TI with all the places and edges in between defines a subnetwork which represents a certain function of the system and can be interpreted as a functional module. These subnetworks can overlap.

Analogously, a place invariant (PI) is defined as a non-zero vector $y\in {\mathbb{N}}_{0}^{n}$ which holds the equation

$$y\xb7C=0$$

A PI characterizes a token conservation rule for a set of places, over which the weighted sum of tokens is constant independently from any firing, i.e., for a PI y and any markings ${m}_{i},{m}_{j}\in {\mathbb{N}}_{0}^{n}$, which are reachable from ${M}_{0}$ by the firing of transitions, it holds

$$y\xb7{m}_{i}=y\xb7{m}_{j}$$

The non-zero entries of an invariant x, are called its support written as $supp\phantom{\rule{0.166667em}{0ex}}\left(x\right)$. An invariant x is called minimal, if its support does not contain the support of any other invariant z, i.e.,
and the greatest common divisor of all non-zero entries of x is one. In the following, we consider minimal, non-trivial TIs and PIs. We applied the open-source software MonaLisa [96,97,109].

$$\begin{array}{c}\hfill \nexists \phantom{\rule{0.222222em}{0ex}}\text{invariant}z:supp\phantom{\rule{0.166667em}{0ex}}\left(z\right)\subset supp\phantom{\rule{0.166667em}{0ex}}\left(x\right)\end{array}$$

## 3. Results and Discussion

Both PN models, the P/T model and the TPN model, are based on the reaction system proposed by Sedaghat et al. [34]. For the lists of abbreviations see Table 1 and Table 2.

$$\begin{array}{ccccccc}\text{IR}+\text{I}& \stackrel{{\displaystyle {k}_{\text{bind}}}}{\underset{{\displaystyle {k}_{\text{diss}}}}{\u27fa}}& \text{IRI}& \stackrel{{\displaystyle {k}_{\text{phos}}}}{\u27f6}& \text{IRIP}& \stackrel{{\displaystyle {k}_{\text{dephos,m}}}}{\u27f6}& \text{IR}+\text{I}\\ \text{IRIP}& \stackrel{{\displaystyle {k}_{\text{in,p}}}}{\underset{{\displaystyle {k}_{\text{out,p}}}}{\u27fa}}& {\text{IRIP}}_{in}& \stackrel{{\displaystyle {k}_{\text{dephos,c}}}}{\u27f6}& {\text{IR}}_{in}& \stackrel{{\displaystyle {k}_{\text{out}}}}{\underset{{\displaystyle {k}_{\text{in}}}}{\u27fa}}& \text{IR}\\ \varnothing & \stackrel{{\displaystyle {k}_{\text{syn}}}}{\underset{{\displaystyle {k}_{\text{deg}}}}{\u27fa}}& {\text{IR}}_{in}& & & \end{array}$$

**Table 1.**List of abbreviations and initial concentrations. Initial concentrations are adopted from Sedaghat et al. [34]. The concentrations are given in units of pM $={10}^{-12}\phantom{\rule{0.277778em}{0ex}}$M.

Abbreviation | Species | Initial Concentration(s) [pM] |
---|---|---|

I | insulin | [I]${}_{0}={10}^{3}$–${10}^{6}$ |

IR | insulin receptor | [IR]${}_{0}=0.9$ |

IRI | I-IR complex | — |

IRIP | phosphorylated IRI | — |

IRIP${}_{in}$ | intracellular IRIP | — |

IR${}_{in}$ | intracellular IR | [IR${}_{in}$]${}_{0}=0.1$ |

Parameter | Process | Value | Units |
---|---|---|---|

${k}_{\text{bind}}$ | binding of insulin | $6\times {10}^{7}$ | M${}^{-1}$ min${}^{-1}$ |

${k}_{\text{diss}}$ | dissociation of insulin | $0.2$ | min${}^{-1}$ |

${k}_{\text{phos}}$ | phosphorylation | $2.500$ | min${}^{-1}$ |

${k}_{\text{dephos,m}}$ | dephosphorylation on membrane | $0.2$ | min${}^{-1}$ |

${k}_{\text{in}}$ | internalization of IR | $3.\overline{3}\times {10}^{-4}$ | min${}^{-1}$ |

${k}_{\text{out}}$ | transport of IR to plasma membrane | $3\times {10}^{-3}$ | min${}^{-1}$ |

${k}_{\text{in,p}}$ | internalization of phosphorylated IR | $2.1\times {10}^{-3}$ | min${}^{-1}$ |

${k}_{\text{out,p}}$ | transport of phosphorylated IR to plasma membrane | $2.1\times {10}^{-4}$ | min${}^{-1}$ |

${k}_{\text{dephos,c}}$ | dephosphorylation in cytoplasm | $0.461$ | min${}^{-1}$ |

${k}_{\text{deg}}$ | degradation | $1.67\times {10}^{-4}$ | min${}^{-1}$ |

${k}_{\text{syn}}$ | synthesis | ${}^{*1}$ $1.67\times {10}^{-17}$ | M min${}^{-1}$ |

${}^{*2}$ $1.00\times {10}^{-16}$ | M min${}^{-1}$ |

${}^{*1}$ if IR${}_{in}\ge {10}^{-13}$ M; ${}^{*2}$ if IR${}_{in}<{10}^{-13}$ M.

#### 3.1. The P/T-PN Model and Its Properties

Figure 2 depicts the PN model of the reaction system Equation (5). The six places drawn as circles represent the species I, IR, IRI, IRIP, IR${}_{in}$, and IRIP${}_{in}$, and the ten transitions drawn as filled squares describe the changes of species. Since insulin is supplied by the environment to the system, the species I is defined to be external. External metabolites can be produced or consumed arbitrarily. The transition buffer causes the external production of insulin. In terms of PN formalism [95] the network is pure, ordinary, homogenous, connected, and live.

Place Invariants: The PN has no PI because the model includes an adaption of the cell to a variation of external insulin concentration via synthesis and degradation of the IR. Neglecting the synthesis and degradation of the IR, the places IR, IRI, IRIP, IR${}_{in}$, and IRIP which represent the IR in its various forms, e.g., extracellular, internalized, phosphorylated, would be members of a PI. Such a PI would account for a conservation of the total amount of IR in the cell. But, due to the synthesis and degradation of the IR, the cell can adapt its total amount of receptor to an increased concentration of external insulin.

Transition Invariants: The network has six TIs, see Supplemental Material for a list of the TI. Two invariants, TI${}_{1}$ and TI${}_{2}$, are non-trivial. TI${}_{1}$ highlighted in Figure 4 is a cycle of the processes: binding of insulin to the IR (${k}_{\text{bind}}$), phosphorylation of the insulin-IR complex (${k}_{\text{phos}}$), and extracellular dissociation of the activated insulin-IR complex (${k}_{\text{dephos,m}}$). Note that the extracellular recycling of the IR given by the chain of the elementary (equimolar) reactions, ${k}_{\text{bind}}$ and ${k}_{\text{phos}}$; and ${k}_{\text{dephos,m}}$ does not alter the total concentration of insulin, i.e., $i+iri+irip=$ constant, or the total concentration of receptor, i.e., $ir+iri+irip=$ constant. TI${}_{2}$ highlighted in Figure 5 describes a chain of 6 reactions: buffering of insulin (buffer), binding of insulin to the IR (${k}_{\text{bind}}$), phosphorylation of the insulin-IR complex (${k}_{\text{phos}}$), internalization of the activated insulin-IR complex (${k}_{\text{in,p}}$), dephosphorylation of the internalized insulin-IR complex (${k}_{\text{dephos,c}}$), and translocation of internalized IR back to the membrane (${k}_{\text{out}}$).

**Figure 4.**The transition invariant, TI${}_{1}$, is highlighted in the PN. TI${}_{1}$ describes a cycle of the processes: binding of insulin to the IR (${k}_{\text{bind}}$), phosphorylation of the insulin-IR complex (${k}_{\text{phos}}$), and extracellular dissociation of the activated insulin-IR complex (${k}_{\text{dephos,m}}$). The steady state of this subnetwork has an equilibrium constant of ${i}_{c}=3.33$ nM for the binding of insulin to the receptor.

**Figure 5.**The transition invariant, TI${}_{2}$, is highlighted in the PN. The six transitions of TI${}_{2}$ form a chain of six consecutive reactions: buffering of insulin (buffer), binding of insulin to the IR (${k}_{\text{bind}}$), phosphorylation of the insulin-IR complex (${k}_{\text{phos}}$), internalization of the activated insulin-IR complex (${k}_{\text{in,p}}$), dephosphorylation of the internalized insulin-IR complex (${k}_{\text{dephos,c}}$), and translocation of internalized IR back to the membrane (${k}_{\text{out}}$).

#### 3.2. The TPN Model and Its Properties

For the TPN model, we wanted to generate a time behavior that is similar to the numerical solution of the mass action reaction system of Sedaghat et al. [34]. Since the competition of the two binding sites of the receptor is not modeled quantitatively by Sedaghat et al., we neglected allosteric effects and considered the ligand-receptor affinity for the binding of only one insulin molecule. Figure 6 outlines the TPN model for the IR life cycle. For the lists of abbreviations and kinetic constants, see Table 1 and Table 2, respectively. The TPN explicitly models the enzyme protein-tyrosine phosphatase 1B (PTPN1B), see Figure 1 for a sketch of the catalytic function of PTPN1B. For a full list of places and transitions of the TPN, we refer to Table 3 and Table 4, respectively.

**Figure 6.**The TPN model of activation and recycling of the IR. It explicitly includes the enzyme, protein-tyrosine phosphatase 1B (PTP1B), see Figure 1 for a sketch of the catalytic function of PTPN1B. The circles represent chemical species, here, mainly the different insulin complexes, see Table 3. The rectangles describe the transitions, see Table 4. For a full list of places and transitions of the TPN, we refer to Table 3 and Table 4, respectively.

Name | Molecule | Initial Number of Tokens |
---|---|---|

I | insulin | 10,000 |

IR | insulin receptor | 90 |

IRI | I–IR complex | 0 |

IRIP | phosphorylated IRI | 0 |

IRIP${}_{intra}$ | intracellular IRIP | 0 |

IR${}_{intra}$ | intracellular IR | 10 |

PTPN1B | protein-tyrosine phosphatase 1B | 1000 |

IRIP PTP1B | IRIP–PTPN1B complex | 0 |

IRIP${}_{intra}$ PTPN1B | IRIP${}_{intra}$–PTPN1B complex | 0 |

Phos | phosphate | 1000 |

**Table 4.**List of transitions of the TPN model of receptor phosphorylation and recycling. The time inscriptions of the transitions are constant delay increments. We adapted the values of the constant delays to each initial insulin concentration of $1\phantom{\rule{0.166667em}{0ex}}\mu $M, $100\phantom{\rule{0.166667em}{0ex}}$nM, 10 nM, and $10\phantom{\rule{0.166667em}{0ex}}$nM separately. This list exemplifies the constant delays for ${i}_{0}=1\phantom{\rule{0.166667em}{0ex}}\mu $M.

Name | Process | Time Inscription |
---|---|---|

bin_1 | binding of insulin | @ + 1 |

dis_1 | dissociation of insulin | @ + 40 |

autophos_1 | phosphorylation of IRI | @ + 1 |

intra_1 | internalization of IR | @ + 200 |

memb_1 | transport of IR${}_{intra}$ to plasma membrane | @ + 85 |

intra_2 | internalization of IRIP | @ + 110 |

memb_2 | transport of IRIP${}_{intra}$ to plasma membrane | @ + 400 |

dephos_1 | dephosphorylation of IRIP by PTPN1B | @ + 1 |

dephos_2 | IRIP binds to PTPN1B | @ + 40 |

dephos_3 | IRIP${}_{intra}$ binds to PTPN1B | @ + 20 |

dephos_4 | dephosphorylation of IRIP${}_{intra}$ by PTPN1B | @ + 1 |

It turned out that we had to manually adapt the time inscriptions individually for each initial concentration of insulin to mimic the expected time course of concentrations. Table 5 lists the appropriate constant time delays for the simulation of 1 μM, 100 nM, 10 nM, and 1 nM initial insulin concentrations. Figure 7 shows the simulation results for 10 nM (upper part A) and 1 nM (lower part B) initial concentrations of insulin, respectively. The right part depicts the time course of token numbers that resemble the concentration curves of the corresponding mass action reaction systems shown in the left part. For low insulin concentrations of 10 nM and 1 nM, the IR never becomes completely saturated, a fraction of the receptor remains accessible to insulin, and the concentration of free receptor approaches a non-zero steady-state concentration. Such steady states are of crucial importance for the analysis of the ODE model, but the concept of a stable and attractive steady state can not be transferred to a TPN model. The reason is that the maximal firing rate of a timed transition is independent from the occupancy of tokens on its pre-places. As a result, the net production of tokens on a place would be either positive or negative. No state is possible at which the firing rates of active transitions counterbalance to a zero net production of tokens. Consequently, in the course of simulating the TPN model, we adjusted the time delays of the transitions, see Table 5. For such dynamically adapted time delays, the time courses of token numbers show a visual resemblance to the concentration curves, see Figure 7.

**Table 5.**Adaption of time delays of timed transitions to initial concentrations of insulin, 1 μM, 100 nM, 10 nM, and 1 nM. The values in parentheses are applied after 4500 and $15,000$ clock times for the insulin concentrations, ${i}_{0}=10$ nM and ${i}_{0}=1$ nM, respectively.

Transition | 1 μM | 100 nM | 10 nM | 1 nM |
---|---|---|---|---|

bin_1 | @ + 1 | @ + 7 | @ + 16 (@ + 29) | @ + 20 (@ + 30) |

dis_1 | @ + 40 | @ + 40 | @ + 40 (@ + 39) | @ + 40 (@ + 60) |

memb_1 | @ + 85 | @ + 85 | @ + 86 | @ + 86 |

intra_2 | @ + 110 | @ + 110 | @ + 119 | @ + 119 |

dephos_2 | @ + 40 | @ + 40 | @ + 40 (@ + 52) | @ + 40 (@ + 65) |

**Figure 7.**The left part depicts the concentrations of the IR (dark blue line), the phosphorylated insulin-IR complex IRIP (light blue line), the internalized complex IRIP${}_{intra}$ (purple line), and the intracellular IR${}_{intra}$ (yellow line) versus reaction time for initial insulin concentrations, 10 nM (part A, top), and 1 nM (part B, bottom), respectively. The concentrations are precise numerical simulations of the reaction system Equation (5). The right part shows the number of tokens versus the global clock time for the corresponding TPN. One token equates to a concentration of about 10 fM, and 2000 counts of the global clock time represent one minute reaction time.

#### 3.3. Quasi-Steady-State Approximation

The time evolution of the insulin system is conventionally studied for the response of the cell to a high (typically 4-6 orders of magnitude larger than that of the IR), external insulin concentration, or vice versa for the regulation of the cell back to its basal state in the absence of insulin. The assumption of a constant insulin concentration is reasonable for modeling of insulin concentration given in excess. A quasi-steady-state approximation (QSSA) sets the concentration of external insulin to a constant value, $i={i}_{0}$, and determines the steady states within this assumption.

The TIs decompose the network into subnetworks, for which steady states can be computed. For the subsystem defined by TI${}_{1}$, we calculated the steady-state concentrations, $i{r}^{*}$, $ir{i}^{*}$, and $iri{p}^{*}$, see Figure 4 and for the analytical formulae, see Supplemental Material. For the kinetic rate constants in Table 2, the equilibrium constant for insulin binding becomes ${i}_{c}=3.33$ nM. Figure 8 depicts the dependence of the fraction of accessible receptor ($i{r}^{*}/i{r}_{0}$) and activated complex ($iri{p}^{*}/i{r}_{0}$) on the parameter, ${i}_{0}$, i.e., on the concentration of extracellular insulin. The fraction, $ir{i}^{*}/i{r}_{0}$, of the intermediate complex, IRI, is below $0.1$ ppm and, therefore, not depicted in Figure 8. For insulin concentrations well below ${i}_{c}$, only a small fraction of the IR binds an insulin molecule. Increasing the concentration of external insulin, ${i}_{0}$, up to ${i}_{0}\approx {i}_{c}$, the steady-state concentration, $i{r}^{*}$, of the accessible IR drops down and simultaneously, the steady-state concentration, $iri{p}^{*}$, of the activated complex, IRIP, grows in linear proportion to the insulin concentration ${i}_{0}$. Both concentrations, $i{r}^{*}$ and $iri{p}^{*}$, become equal for ${i}_{0}={i}_{c}$, see the vertical line in Figure 8. Further increase of the external insulin concentration, ${i}_{0}$, the steady-state concentration, $iri{p}^{*}$, of the activated complex, IRIP, starts to predominate until nearly all the IR have been activated to IRIP.

**Figure 8.**The fractions of the steady-state concentrations, $i{r}^{*}/i{r}_{0}$ and $iri{p}^{*}/i{r}_{0}$, are plotted versus the concentration of the external insulin. The vertical line indicates the value of the equilibrium constant, ${i}_{c}=3.33$ nM. For insulin concentration above ${i}_{c}$, more than 50% of the extracellular IR binds an insulin molecule. All the IR becomes saturated for an insulin concentration which is large compared to ${i}_{c}$, i.e., for $i\gg {i}_{c}=3.33$ nM.

The steady-state concentrations, $i{r}^{*}$, $ir{i}^{*}$, and $iri{p}^{*}$, describe an equilibrium of the processes, binding, phosphorylation, and dissociation, respectively, but completely ignore the process of translocation of activated receptor into the cytoplasm. Consequently, they represent a justifiable approximation only for a short reaction time compared to the time scale of the translocation process. The process of translocation of the activated IR into the cytoplasm (${k}_{\text{in,p}}$) is member of the subnetwork, TI${}_{2}$, see Figure 5. We derived analytical expressions for the steady-state concentrations, $\phantom{\rule{4.pt}{0ex}}{\text{ir}}^{\u2020},{\text{iri}}^{\u2020},\phantom{\rule{4.pt}{0ex}}{\text{irip}}^{\u2020},\phantom{\rule{4.pt}{0ex}}{\text{ir}}_{in}^{\u2020},$ and $\phantom{\rule{4.pt}{0ex}}{\text{irip}}_{in}^{\u2020}$, of the corresponding mass action reaction system, see Supplemental Material. The critical insulin concentration of internalization of the IR becomes ${i}_{c}^{\u2020}=0.535$ nM for the kinetic rate constants in Table 2.

A substantial redistribution of the surface and intracellular IR becomes observable for external insulin concentrations around ${i}_{c}^{\u2020}$. The cell is maximally down-regulated for external insulin concentrations well above ${i}_{c}^{\u2020}$. The distribution of the IR in the maximally down-regulated state is approximately $59\%$ surface and $41\%$ intracellular. For a discussion of the experimental evidence of the distribution of the surface and intracellular IR, see the work of Quon & Campfield [31].

#### Time Behavior

Physiologically, the level of external insulin varies rapidly in response to increased blood glucose levels. The release of insulin is not continuous, but oscillates on the time scale of minutes. Due to the dynamics of the tightly regulated insulin level, the cell has no infinite time for an adaption to the external insulin level. Thus, the time scale on which the IR system will approach the quasi-steady-state concentrations is important. In the following, we discuss the dynamics of the process of down-regulation for constantly high insulin levels.

The down-regulation of the cell for high insulin levels passes through three different phases: (1) binding of insulin to the IR; (2) internalization of the activated IR; and (3) degradation of IR in the cytoplasm. Figure 9 depicts a precise numerical solution of the complete model for the initial insulin concentration of ${i}_{0}=1$ nM. For the kinetic constants and the initial concentrations, see Table 1 and Table 2, respectively. The concentration of the accessible IR on the membrane ($ir$, broken line with the label free receptor), the total concentration of the IR on the membrane ($i{r}_{memb}=ir+iri+irip$, dotted line with the label receptor (membrane)), and the total concentration of the IR ($i{r}_{tot}=i{r}_{memb}+iri{p}_{in}+i{r}_{in}$, solid line with the label receptor (total)) are plotted versus the logarithmic time axis.

In the initial state, no insulin is bound to the surface IR. The down-regulation of the cell starts with the fast binding of insulin to the IR and the activation, i.e., phosphorylation, of the IR. The concentrations evolve with time towards the quasi-steady-state concentrations, $i{r}^{*}$ and $iri{p}^{*}$. Analytically, the exponential functions,
describe the time course of concentrations. ${\lambda}_{1}$ is the characteristic eigenvalue of the ODE subsystem defined by TI${}_{1}$. For the analytical expression of ${\lambda}_{1}$, see Supplemental Material.

$$\begin{array}{ccc}\hfill i{r}^{\prime}\left(t\right)& =& i{r}^{*}+(i{r}_{0}-i{r}^{*})\phantom{\rule{4pt}{0ex}}{e}^{{\lambda}_{1}\phantom{\rule{4pt}{0ex}}t}\phantom{\rule{1.em}{0ex}}\text{and}\hfill \end{array}$$

$$\begin{array}{ccc}\hfill iri{p}^{\prime}\left(t\right)& =& (i{r}_{0}-i{r}^{*})\phantom{\rule{4pt}{0ex}}\left[1-{e}^{{\lambda}_{1}\phantom{\rule{4pt}{0ex}}t}\right]\phantom{\rule{4pt}{0ex}}\hfill \end{array}$$

The overall rate of binding and activation depends on the initial concentration of insulin, ${i}_{0}$. For the initial concentrations of insulin, ${i}_{0}=1\phantom{\rule{3.33333pt}{0ex}}\text{nM},10\phantom{\rule{3.33333pt}{0ex}}\text{nM},100\phantom{\rule{3.33333pt}{0ex}}\text{nM},$ and $1\phantom{\rule{3.33333pt}{0ex}}\mu \text{M}$, the typical scales of the reaction time are $1/{\lambda}_{1}=3.85\phantom{\rule{4pt}{0ex}}\text{min},1.25\phantom{\rule{4pt}{0ex}}\text{min},9.69\phantom{\rule{4pt}{0ex}}\mathrm{s}$, and $0.998\phantom{\rule{4pt}{0ex}}\mathrm{s}$, respectively. The first response of the cell to an elevated level of insulin is a reorganization of the free membrane IR to the activated IRIP on the membrane.

**Figure 9.**Precise numerical solutions for the concentration of accessible IR on the membrane (solid line with the label free receptor), the total concentration of IR on the membrane, $i{r}_{memb}=ir+iri+irip$ (solid line with the label receptor (membrane)), and the total concentration of the IR, $i{r}_{tot}=i{r}_{memb}+iri{p}_{in}+i{r}_{in}$ (solid line with the label receptor (total)), are plotted versus the logarithmic time axis. The concentrations are given in percentage of the total concentration, $i{r}_{tot}$, of the IR of the basal cell. The initial insulin concentration is ${i}_{0}=1$ nM. The down-regulation of the cell for insulin given in excess passes through three phases: binding of insulin, internalization of the activated IR, and degradation of the IR inside the cell. The analytical approximation (Equation 6) for the concentration of the IR is drawn as dotted line with the label TI${}_{1}$ and describes the fast binding of insulin to the IR. The dotted line with the label TI${}_{2}$ shows the approximation (8). The analytical solution (Equation 11) for the concentration of the IR is depicted as dotted line with the label, TI${}_{2}$ + TI${}_{6}$, and is indistinguishable from the precise numerical solution (solid line free receptor) until the QSSA breaks down, i.e., until the consumption of insulin becomes measurable. The concentration of insulin is not plotted.

In Figure 9, the exponential function, $i{r}^{\prime}\left(t\right)$, is plotted for ${i}_{0}=1$ nM as a dotted red line with the label TI${}_{1}$. The curve shows an initial drop and becomes constant for long time periods. During the phase of initial drop, the exponential function $i{r}^{\prime}\left(t\right)$ is indistinguishable from the precise numerical solution drawn as bold red line with the label free receptor. The left vertical line in Figure 9 indicates the position of the time point $t=3/{\lambda}_{1}=11\phantom{\rule{4pt}{0ex}}\text{min}$. For a short reaction time (i.e., $t<11\phantom{\rule{4pt}{0ex}}\text{min}$), the exponential function $i{r}^{\prime}\left(t\right)$ correctly describes the binding of insulin to the accessible IR. On a longer time scale, $i{r}^{\prime}\left(t\right)$ approaches the constant value $i{r}^{*}$. The quasi-steady-state concentrations, $i{r}^{*}$, and $iri{p}^{*}$, neglect the internalization of the phosphorylated IR, and thus, a deviation of $i{r}^{\prime}\left(t\right)$ from the numerical solution becomes more and more distinct for $t>11\phantom{\rule{4pt}{0ex}}\text{min}$.

After the binding of insulin to the accessible IR and reaching the equilibrium concentrations, $i{r}^{*}$ and $iri{p}^{*}$, the cell commences to internalize the activated IRIP. The process of internalization translocates the activated IRIP from the membrane to the cytoplasm. As a consequence, the concentration, $ir$, of the accessible IR as well as the total concentration, $i{r}_{memb}$, of the IR on the membrane drops down. The redistribution of the surface and intracellular IR does not change the total concentration, $i{r}_{tot}$, of the IR in the cell. Up to the end of the phase of IR internalization, the evolution of concentration with time is given by the exponential functions,
with the eigenvalue ${\lambda}_{2}$ of the ODE subsystem defined by TI${}_{2}$, see Supplemental Material. The mass conservation of the IR determines the constant parameter,
with $i{r}_{in,0}$ as the initial (basal) concentration of the internalized IR. For the initial concentrations of insulin, ${i}_{0}=1\phantom{\rule{3.33333pt}{0ex}}\text{nM},10\phantom{\rule{3.33333pt}{0ex}}\text{nM},100\phantom{\rule{3.33333pt}{0ex}}\text{nM},$ and $1\phantom{\rule{3.33333pt}{0ex}}\mu \text{M}$, the typical time scales of the process of receptor internalization are $1/{\lambda}_{2}=4\phantom{\rule{0.166667em}{0ex}}\mathrm{h}\phantom{\rule{0.277778em}{0ex}}27\phantom{\rule{0.166667em}{0ex}}\text{min}$, $3\phantom{\rule{0.166667em}{0ex}}\mathrm{h}\phantom{\rule{0.277778em}{0ex}}34\phantom{\rule{0.166667em}{0ex}}\text{min}$, $3\phantom{\rule{0.166667em}{0ex}}\mathrm{h}\phantom{\rule{0.277778em}{0ex}}18\phantom{\rule{0.166667em}{0ex}}\text{min}$, $\text{and}\phantom{\rule{4pt}{0ex}}3\phantom{\rule{0.166667em}{0ex}}\mathrm{h}\phantom{\rule{0.277778em}{0ex}}16\phantom{\rule{0.166667em}{0ex}}\text{min}$, respectively. The approximation, $i{r}^{\prime \prime}\left(t\right)$, for the concentration, $ir$, of the accessible IR is plotted as a dotted line labeled by TI${}_{2}$ in Figure 9. At least for $t<3/{\lambda}_{2}$, the precise numerical solution for the concentration of the IR is well approximated by the superposition of two exponential functions (8); a vertical line at $t=3/{\lambda}_{2}=13\phantom{\rule{0.166667em}{0ex}}\mathrm{h}$ is drawn in Figure 9.

$$\begin{array}{ccc}\hfill i{r}^{\prime \prime}\left(t\right)& =& \nu \phantom{\rule{4pt}{0ex}}i{r}^{\u2020}+(i{r}^{\prime}\left(t\right)-\nu \phantom{\rule{4pt}{0ex}}i{r}^{\u2020})\phantom{\rule{4pt}{0ex}}{e}^{{\lambda}_{2}\phantom{\rule{4pt}{0ex}}t},\hfill \\ \hfill iri{p}^{\prime \prime}\left(t\right)& =& \nu \phantom{\rule{4pt}{0ex}}iri{p}^{\u2020}+(iri{p}^{\prime}\left(t\right)-\nu \phantom{\rule{4pt}{0ex}}iri{p}^{\u2020})\phantom{\rule{4pt}{0ex}}{e}^{{\lambda}_{2}\phantom{\rule{4pt}{0ex}}t},\phantom{\rule{1.em}{0ex}}\text{and}\hfill \\ \hfill i{r}_{in}^{\prime \prime}\left(t\right)& =& \nu \phantom{\rule{4pt}{0ex}}i{r}_{in}^{\u2020}+(i{r}_{in,0}-\nu \phantom{\rule{4pt}{0ex}}i{r}_{in}^{\u2020})\phantom{\rule{4pt}{0ex}}{e}^{{\lambda}_{2}\phantom{\rule{4pt}{0ex}}t}\phantom{\rule{4pt}{0ex}}\hfill \end{array}$$

$$\nu :=\frac{i{r}_{0}+i{r}_{in,0}}{i{r}^{\u2020}+iri{p}^{\u2020}+i{r}_{in}^{\u2020}}=\frac{i{r}_{\text{tot},0}}{i{r}_{\text{tot}}^{\u2020}}\phantom{\rule{4pt}{0ex}}$$

The process of translocation of the activated IR from the membrane into the cytoplasm leads to an accumulation of internalized IR. Note that the mass conservation,
is fulfilled for approximation (8), and the total amount of IR in the cell, $i{r}_{tot}$, does not change during the phase of internalization, see Figure 9.

$$i{r}^{\prime \prime}\left(t\right)+iri{p}^{\prime \prime}\left(t\right)+i{r}_{in}^{\prime \prime}\left(t\right)=i{r}_{0}+i{r}_{in,0}\phantom{\rule{4pt}{0ex}}$$

In contrast to $i{r}_{memb}$, the level of receptor concentration in the cytoplasm grows during the phase of internalization of the membrane IR, where at the end the concentration of the IR in the cytoplasm is much higher than the steady-state value, $\phantom{\rule{4.pt}{0ex}}{\text{ir}}_{in}^{\u2020}$, of receptor synthesis and degradation. Thus, a subsequent degradation of the IR down-regulates the accumulated concentration in the cytoplasm. The slow degradation of the intracellular IR leads to a decrease of concentration that can be approximated by
with ${\lambda}_{3}=-{k}_{\text{syn}}/i{r}_{\text{tot}}^{\u2020}$ and $i{r}_{\text{tot}}^{\u2020}=i{r}^{\u2020}+ir{i}^{\u2020}+iri{p}^{\u2020}+i{r}_{in}^{\u2020}+iri{p}_{in}^{\u2020}$.

$$\begin{array}{ccc}\hfill i{r}^{\prime \prime \prime}\left(t\right)& =& i{r}^{\u2020}+(i{r}^{\prime \prime}\left(t\right)-i{r}^{\u2020})\phantom{\rule{4pt}{0ex}}{e}^{{\lambda}_{3}\phantom{\rule{4pt}{0ex}}t},\hfill \\ \hfill iri{p}^{\prime \prime \prime}\left(t\right)& =& iri{p}^{\u2020}+(iri{p}^{\prime \prime}\left(t\right)-iri{p}^{\u2020})\phantom{\rule{4pt}{0ex}}{e}^{{\lambda}_{3}\phantom{\rule{4pt}{0ex}}t},\phantom{\rule{4.pt}{0ex}}\text{and}\phantom{\rule{4.pt}{0ex}}\hfill \\ \hfill i{r}_{in}^{\prime \prime \prime}\left(t\right)& =& i{r}_{in}^{\u2020}+({r}_{in}^{\prime \prime}\left(t\right)-i{r}_{in}^{\u2020})\phantom{\rule{4pt}{0ex}}{e}^{{\lambda}_{3}\phantom{\rule{4pt}{0ex}}t}\hfill \end{array}$$

For the initial concentrations of insulin, ${i}_{0}=1\phantom{\rule{3.33333pt}{0ex}}\text{nM},10\phantom{\rule{3.33333pt}{0ex}}\text{nM},100\phantom{\rule{3.33333pt}{0ex}}\text{nM},$ and $1\phantom{\rule{3.33333pt}{0ex}}\mu \text{M}$, the typical time scales of IR degradation are $1/{\lambda}_{3}=21\phantom{\rule{4pt}{0ex}}\text{days},11\phantom{\rule{4pt}{0ex}}\text{days},10\phantom{\rule{4pt}{0ex}}\text{days}\phantom{\rule{4pt}{0ex}}6\phantom{\rule{4pt}{0ex}}\mathrm{h},$ and $10\phantom{\rule{4pt}{0ex}}\text{days}\phantom{\rule{4pt}{0ex}}3\phantom{\rule{4pt}{0ex}}\mathrm{h}$, respectively. The equations (11) describe the drop of concentration of the accessible IR by three exponential phases, see $i{r}^{\prime \prime \prime}\left(t\right)$ plotted as dotted line with the label, TI${}_{2}+$TI${}_{6}$, in Figure 9. A deviation of $i{r}^{\prime \prime \prime}\left(t\right)$ from the precise numerical solution (solid line labeled free receptor) becomes visible only on a long time scale. The precise numerical solution does not drop down to the values of the QSSA, $i{r}^{\u2020}$, $iri{p}^{\u2020}$, and $i{r}_{in}^{\u2020}$. Instead, the concentration of the accessible receptor starts to increase again, and swings back to the concentration of the basal state. The modeled consumption of insulin by the cell leads to a decrease of external insulin, an effect that we neglect in the quasi-steady-state approximation. For exhausted external insulin, the cell turns back to the basal state.

The time scale of months makes such a consumption of insulin irrelevant for the behavior of cells in an organism that regulates tightly, i.e., on the time scale of minutes the insulin level, according to a varying glucose level. At least from the academic point of view, it is interesting that the consumption of insulin described by the system is an example for the application of the Lambert function [98]. Inserting the QSSA, $i{r}^{\u2020}$, $iri{p}^{\u2020}$, and $i{r}_{in}^{\u2020}$, into the ODE system leads to
with ${\lambda}_{4}={k}_{\text{out}}\phantom{\rule{4pt}{0ex}}{k}_{\text{syn}}/{k}_{\text{deg}}$. The analytical solution of the differential equation is given by
where W stands for the Lambert function. The integration constant ${C}_{1}$ is determined by the initial condition $i(t=0)={i}_{0}$, e.g., the initial condition, $i(t=0)=1$, is satisfied for ${C}_{1}=1$. For kinetic parameters in Table 2, we get the typical time scale of ${t}_{4}=1/{\lambda}_{4}=5\phantom{\rule{0.166667em}{0ex}}\mathrm{h}\phantom{\rule{0.277778em}{0ex}}33\phantom{\rule{0.166667em}{0ex}}\text{min}$; for a detailed discussion see Supplemental Material.

$$\frac{{\textstyle \partial i}}{{\textstyle \partial t}}={\lambda}_{4}\phantom{\rule{4pt}{0ex}}\frac{i}{{i}_{c}^{\u2020}+i}$$

$$i\left(t\right)={i}_{c}^{\u2020}\phantom{\rule{4pt}{0ex}}W\left(\frac{{\textstyle {e}^{{\textstyle {\lambda}_{4}\phantom{\rule{4pt}{0ex}}t+{C}_{1}/{i}_{c}^{\u2020}}}}}{{\textstyle {i}_{c}^{\u2020}}}\right)\phantom{\rule{4pt}{0ex}}$$

## 4. Conclusions

We applied the Petri net formalism to analyze the structural properties of a biological signaling model that describes the insulin-dependent phosphorylation and recycling of the IR. The analysis of the PN model is valuable and complementary to the numerical kinetic simulation. The concerted application of kinetic simulations and PN analysis demonstrates an advantageous strategy which is appropriate and promising also for other and larger biological systems.

First, we constructed a discrete P/T-PN model. The PN analysis started with a verification of formal constraints that a biological network has to fulfill [63]. Since the insulin model studied here is well-established in the literature, we abstain from describing the details of standard network verification. Functional modules are represented by TIs [63,99,100]. Note that the identification of functional modules in networks is a hard, computational task for a broad range of multidisciplinary applications [101,108]. Two non-trivial TI decomposed the P/T-PN into two subnetworks, defining basic functional modules, for which we determined the quasi-steady states. According to analysis of the PN model, the insulin-dependent evolution of the IR activation and recycling manifests in three phases: (1) At the initial reaction of a basal cell to an increased concentration of external insulin, the membrane IR binds insulin and becomes phosphorylated; (2) Then, internalization of the phosphorylated IR from the membrane into the cytoplasm takes place; (3) In the cytoplasm the IR is degraded. Each phase happens at a specific time scale and depicts an exponential transition from one quasi-steady state to another. Several seconds to few minutes for the binding of insulin, 3–4 h for the internalization of the IR, and 10–20 days for the intra-cellular degradation of the IR are the typical time scales for a set of standard rate constants [31,34]. The consumption of insulin resulted in a drop of insulin concentration according to the Lambert function.

Then, we constructed a timed, discrete model. The TPN model gave a rather rough approximation of the well-established mass action principle. It is surprising that the simple TPN was capable of mimicking the time behavior of the mass action kinetics to some extent. The evolution of the ODE model with time strongly relies on the dynamic equilibrium of (quasi-)steady states which are inherent properties of the mass action kinetics.

The concept of steady states is not applicable to TPNs. The TPN model achieved the desired time behavior by a completely different mechanism. The ability of a TPN model to produce a distribution of tokens that evolve in qualitative accordance with continuous concentrations of a mass action reaction system is a promising result for further studies. The values of the required time delays and the corresponding maximal token fluxes are of special interest for pharmaceutical applications. Here, a systematic mathematical strategy to learn the parameters of the TPN from experimental data would be a valuable improvement.

We demonstrated that the PN formalism enables the decomposition of the network structure into submodules and a subsequent computation of the corresponding quasi-steady states. The PN approach goes beyond previous standard steady-state analyses [20] of the Sedaghat’s model [34]. We give analytical formulas for the states and transitions inherent to the topological structure proposed. The formulas are valid for any values of kinetic rate constants or initial conditions. Hence, the analysis revealed the fundamental functional modules of dynamics that the network structure is capable to generate. The analytic formulas can easily be applied to adapt the model to experimental data, e.g., to experimental values for the IR half life and internalization rate. The presented PN approach is straightforward and worthwhile for other and more complex network structures of the IR life cycle.

From the biological point of view, it is interesting that the PN approach models, for the first time, the experimentally well-known insulin-stimulated degradation of IR [47,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90] which plays a fundamental role in the insulin resistance and metabolic disorders [55,57,59,60]. Due to the (lysosomal) IR degradation inside the cell, the total amount of the IR starts to decrease as soon as the IR becomes activated by external insulin and is transported into the cytoplasm. The IR concentration becomes significantly reduced when the system is permanently activated, see Figure 10. Note that an increase in insulin secretion characterizes prediabetic patients and type 2 diabetic patients who have developed an insulin resistance [102]. Experimentally, it is observed that the concentration of the IR is decreased to about 55% in adipocyte cells obtained from a comparison of type 2 diabetic patients and healthy adipocyte of humans [56,60]. If the reduction of the IR concentration in patients, having developed insulin resistance, is caused by a simple imbalance of degradation and synthesis of the IR within cells, it would be a promising target to inhibit the degradation of IR to treat insulin resistance in type 2 diabetic patients.

**Figure 10.**The steady-state concentrations, $i{r}^{\u2020}$ (red line), $iri{p}^{\u2020}$ (green line), $i{r}_{in}^{\u2020}$ (blue line), and $i{r}_{tot}=i{r}^{\u2020}+iri{p}^{\u2020}+i{r}_{in}^{\u2020}$ (violet line) are plotted versus the external insulin concentration ${i}_{0}$. The critical insulin concentration, ${i}_{c}^{\u2020}=0.535$ nM, and the equilibrium constant, ${i}_{c}=3.33$ nM, are indicated by left and right vertical lines, respectively. The steady-state concentration, $i{r}_{in}^{\u2020}$, is regulated by synthesis and degradation of the IR in the cytoplasm and hence, remains constant. The steady-state concentration, $iri{p}^{\u2020}$, is zero in the basal state of the cell, i.e., in absence of extracellular insulin, ${i}_{0}=0$. In the process of down-regulation of the cell, i.e., for increasing insulin level, ${i}_{0}$, the concentration, $iri{p}^{\u2020}$, increases until it reaches its maximal values for ${i}_{0}\gg {i}_{c}^{\u2020}$. The steady-state concentration, $i{r}^{\u2020}$, of the surface IR is maximal in the basal state and drops down to zero for ${i}_{0}\gg {i}_{c}^{\u2020}$.

For future work, we recommend the consideration of regulatory elements for the ubiquitin-dependent degradation [55] and the transcription [54,103,104,105,106] of the IR. Such modeling approaches can give new insights into the evolution from the healthy state to metabolic disorder and can help to find strategies to reverse such an undesirable transition.

## Supplementary Materials

Supplementary materials can be accessed at: https://www.mdpi.com/2218-1989/5/4/766/s1.

## Acknowledgments

This work was partly supported by Sanofi Aventis Deutschland GmbH, the LOEWE program Ubiquitin Networks (Ub-Net) of the State of Hesse (Germany), and by the Cluster of Excellence Frankfurt am Main “Macromolecular Complexes”. We would like to thank Julie Edelmann for reading the manuscript.

## Author Contributions

Jennifer Scheidel and Klaus Lindauer constructed and simulated the TPN model. Jörg Ackermann analyzed the structural properties of the PN model and the quasi-steady-state approximation. Jennifer Scheidel, Klaus Lindauer, Jörg Ackermann, and Ina Koch designed the paper. Jörg Ackermann and Ina Koch supervised the work. All authors were involved in writing the paper. All authors read and approved the paper.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

- Reaven, G.M. Role of insulin resistance in human disease. Diabetes
**1988**, 37, 1595–1607. [Google Scholar] [CrossRef] [PubMed] - López-Otín, C.; Blasco, M.A.; Partridge, L.; Serrano, M.; Kroemer, G. The hallmarks of aging. Cell
**2013**, 153, 1194–1217. [Google Scholar] [CrossRef] [PubMed] - Cohen, E.; Dillin, A. The insulin paradox: Aging, proteotoxicity and neurodegeneration. Nat. Rev. Neurosci.
**2008**, 9, 759–767. [Google Scholar] [CrossRef] [PubMed] - Schäffer, L. A model for insulin binding to the insulin receptor. Eur. J. Biochem.
**1994**, 221, 1127–1132. [Google Scholar] [CrossRef] [PubMed] - Subramanian, K.; Fee, C.J.; Fredericks, R.; Stubbs, R.S.; Hayes, M.T. Insulin receptor-insulin interaction kinetics using multiplex surface plasmon resonance. J. Mol. Recognit.
**2013**, 26, 643–652. [Google Scholar] [CrossRef] [PubMed] - Menting, J.G.; Whittaker, J.; Margetts, M.B.; Whittaker, L.J.; Kong, G.K.W.; Smith, B.J.; Watson, C.J.; Žáková, L.; Kletvíková, E.; Jirácek, J.; et al. How insulin engages its primary binding site on the insulin receptor. Nature
**2013**, 493, 241–245. [Google Scholar] [CrossRef] [PubMed] - Saltiel, A.; Kahn, R. Insulin signalling and the regulation of glucose and lipid metabolism. Nature
**2001**, 414, 799–806. [Google Scholar] [CrossRef] [PubMed] - Bouzakri, K.; Koistinen, H.; Zierath, J. Molecular mechanisms of skeletal muscle insulin resistance in type 2 diabetes. Curr. Diabetes Rev.
**2005**, 1, 167–174. [Google Scholar] [CrossRef] [PubMed] - Duckworth, W.C.; Bennett, R.G.; Hamel, F.G. Insulin degradation: Progress and potential. Endocr. Rev.
**1998**, 19, 608–624. [Google Scholar] [CrossRef] [PubMed] - Thorsøe, K.; Schlein, M.; Steensgaard, D.; Brandt, J.; Schluckebier, G.; Naver, H. Kinetic evidence for the sequential association of insulin binding site 1 and 2 to the insulin receptor and the influence of receptor isoform. Biochemistry
**2010**, 49, 6234–6246. [Google Scholar] [CrossRef] [PubMed] - De Meyts, P.; Roth, J.; Neville, D.M., Jr.; Gavin, J.R., III; Lesniak, M.A. Insulin interactions with its receptors: Experimental evidence for negative cooperativity. Biochem. Biophys. Res. Commun.
**1973**, 55, 154–161. [Google Scholar] [CrossRef] - Winter, P.W.; McPhee, J.T.; van Orden, A.K.; Roess, D.A.; Barisas, B.G. Fluorescence correlation spectroscopic examination of insulin and insulin-like growth factor 1 binding to live cells. Biophys. Chem.
**2011**, 159, 303–310. [Google Scholar] [CrossRef] [PubMed] - Hua, Q. Insulin: A small protein with a long journey. Protein Cell
**2010**, 1, 537–551. [Google Scholar] [CrossRef] [PubMed] - Ward, C.W.; Menting, J.G.; Lawrence, M.C. The insulin receptor changes conformation in unforeseen ways on ligand binding: Sharpening the picture of insulin receptor activation. BioEssays
**2013**, 35, 945–954. [Google Scholar] [CrossRef] [PubMed] - Corin, R.; Donner, D. Insulin receptors convert to a higher affinity state subsequent to hormone binding. A two-state model for the insulin receptor. J. Biol. Chem.
**1982**, 257, 104–110. [Google Scholar] [PubMed] - Jeffrey, P. The interaction of insulin with its receptor: Cross-linking via insulin association as the source of receptor clustering. Diabetologia
**1982**, 23, 381–385. [Google Scholar] [CrossRef] [PubMed] - Kohanski, R. Insulin receptor autophosphorylation. I. Autophosphorylation kinetics of the native receptor and its cytoplasmic kinase domain. Biochemistry
**1993**, 32, 5766–5772. [Google Scholar] [CrossRef] [PubMed] - Hammond, B.J.; Tikerpae, J.; Smith, G.D. An evaluation of the cross—Linking model for the interaction of insulin with its receptor. Am. J. Physiol. Endocrinol. Metab.
**1997**, 272, E1136–E1144. [Google Scholar] - Wanant, S.; Quon, M.J. Insulin receptor binding kinetics: Modeling and simulation studies. J. Theor. Biol.
**2000**, 205, 355–364. [Google Scholar] [CrossRef] [PubMed] - Kiselyov, V.; Versteyhe, S.; Gauguin, L.; de Meyts, P. Harmonic oscillator model of the insulin and IGF1 receptors allosteric binding and activation. Mol. Syst. Biol.
**2009**, 5, 1–12. [Google Scholar] [CrossRef] [PubMed] - Louise, K.; Pierre, D.M.; Vladislav, V.K. Insight into the molecular basis for the kinetic differences between the two insulin receptor isoforms. Biochem. J.
**2011**, 440, 397–403. [Google Scholar] - Desbuquois, B.; Lopez, S.; Burlet, H. Ligand-induced translocation of insulin receptors in intact rat liver. J. Biol. Chem.
**1982**, 257, 10852–10860. [Google Scholar] [PubMed] - Giudice, J.; Jares-Erijman, E.A.; Leskow, F.C. Endocytosis and intracellular dissociation rates of human insulin-insulin receptor complexes by quantum dots in living cells. Bioconjug. Chem.
**2013**, 24, 431–442. [Google Scholar] [CrossRef] [PubMed] - Amaya, M.J.; Oliveira, A.G.; Guimarães, E.S.; Casteluber, M.C.; Carvalho, S.M.; Andrade, L.M.; Pinto, M.C.; Mennone, A.; Oliveira, C.A.; Resende, R.R.; et al. The insulin receptor translocates to the nucleus to regulate cell proliferation in liver. Hepatology
**2014**, 59, 274–283. [Google Scholar] [CrossRef] [PubMed] - Chang, M.; Kwon, M.; Kim, S.; Yunn, N.O.; Kim, D.; Yunn, N.-O.; Kim, D.; Ryu, S.H.; Lee, J.-B. Aptamer-based single-molecule imaging of insulin receptors in living cells. J. Biomed. Opt.
**2013**, 19, 051204–051204. [Google Scholar] [CrossRef] [PubMed] - Fagerholm, S.; Örtegren, U.; Karlsson, M.; Ruishalme, I.; Strålfors, P. Rapid insulin-dependent endocytosis of the insulin receptor by caveolae in primary adipocytes. PLoS ONE
**2009**, 4, e5985. [Google Scholar] [CrossRef] [PubMed][Green Version] - Makroglou, A.; Li, J.; Kuang, Y. Mathematical models and software tools for the glucose-insulin regulatory system and diabetes: An overview. Appl. Numer. Math.
**2006**, 56, 559–573. [Google Scholar] [CrossRef] - Standaert, M.; Pollet, R. Equilibrium model for insulin-induced receptor down-regulation. regulation of insulin receptors in differentiated BC3H-1 myocytes. J. Biol. Chem.
**1984**, 259, 2346–2354. [Google Scholar] [PubMed] - Backer, J.M.; Kahn, C.R.; White, M. Tyrosine phosphorylation of the insulin receptor during insulin-stimulated internalization in rat hepatoma cells. J. Biol. Chem.
**1989**, 264, 1694–1701. [Google Scholar] [PubMed] - Sturis, J.; Polonsky, K.S.; Mosekilde, E.; van Cauter, E. Computer model for mechanisms underlying ultradian oscillations of insulin and glucose. Am. J. Physiol. Endocrinol. Metab.
**1991**, 260, E801–E809. [Google Scholar] - Quon, M.J.; Campfield, L.A. A mathematical model and computer simulation study of insulin receptor regulation. J. Theor. Biol.
**1991**, 150, 59–72. [Google Scholar] [CrossRef] - Shymko, R.; Dumont, E.; de Meyts, P.; Dumont, J. Timing-dependence of insulin-receptor mitogenic versus metabolic signalling: A plausible model based on coincidence of hormone and effector binding. Biochem. J.
**1999**, 339, 675–683. [Google Scholar] [CrossRef] [PubMed] - Tolić, I.; Mosekilde, E.; Sturis, J. Modeling the insulin-glucose feedback system: The significance of pulsatile insulin secretion. J. Theor. Biol.
**2000**, 207, 361–375. [Google Scholar] [CrossRef] [PubMed] - Sedaghat, A.R.; Sherman, A.; Quon, M.J. A mathematical model of metabolic insulin signaling pathways. Am. J. Physiol. Endocrinol. Metab.
**2002**, 283, E1084–E1101. [Google Scholar] [CrossRef] [PubMed] - Giri, L.; Mutalik, V.K.; Venkatesh, K. A steady state analysis indicates that negative feedback regulation of PTP1B by Akt elicits bistability in insulin-stimulated GLUT4 translocation. Theor. Biol. Med. Model.
**2004**, 1, 2. [Google Scholar] [CrossRef] [PubMed][Green Version] - Hori, S.S.; Kurland, I.J.; DiStefano, J.J., III. Role of endosomal trafficking dynamics on the regulation of hepatic insulin receptor activity: Models for Fao cells. Ann. Biomed. Eng.
**2006**, 34, 879–892. [Google Scholar] [CrossRef] [PubMed] - Koschorrek, M.; Gilles, E. Mathematical modeling and analysis of insulin clearance in vivo. BMC Syst. Biol.
**2008**, 2, 1–18. [Google Scholar] [CrossRef] [PubMed] - Liu, W.; Tang, F. Modeling a simplified regulatory system of blood glucose at molecular levels. J. Theor. Biol.
**2008**, 252, 608–620. [Google Scholar] [CrossRef] [PubMed] - Cedersund, G.; Roll, J.; Ulfhielm, E.; Danielsson, A.; Tidefelt, H.; Strålfors, P. Model-based hypothesis testing of key mechanisms in initial phase of insulin signaling. PLoS Comput. Biol.
**2008**, 4, e1000096. [Google Scholar] [CrossRef] [PubMed] - Cedersund, G.; Roll, J. Systems biology: Model based evaluation and comparison of potential explanations for given biological data. FEBS J.
**2009**, 276, 903–922. [Google Scholar] [CrossRef] [PubMed] - Liu, W.; Hsin, C.; Tang, F. A molecular mathematical model of glucose mobilization and uptake. Math. Biosci.
**2009**, 221, 121–129. [Google Scholar] [CrossRef] [PubMed] - Chew, Y.H.; Shia, Y.L.; Lee, C.T.; Majid, F.A.A.; Chua, L.S.; Sarmidi, M.R.; Aziz, R.A. Modeling of glucose regulation and insulin-signaling pathways. Mol. Cell. Endocrinol.
**2009**, 303, 13–24. [Google Scholar] [CrossRef] [PubMed] - Sogaard, P.; Szekeres, F.; Garcia-Roves, P.; Larsson, D.; Chibalin, A.; Zierath, J.R. Spatial insulin signalling in isolated skeletal muscle preparations. J. Cell. Biochem.
**2010**, 109, 943–949. [Google Scholar] [CrossRef] [PubMed] - Brännmark, C.; Palmér, R.; Glad, S.T.; Cedersund, G.; Strålfors, P. Mass and information feedbacks through receptor endocytosis govern insulin signaling as revealed using a parameter-free modeling framework. J. Biol. Chem.
**2010**, 285, 20171–20179. [Google Scholar] [CrossRef] [PubMed] - Nyman, E.; Brännmark, C.; Palmér, R.; Brugård, J.; Nyström, F.H.; Cedersund, G.; Strålfors, P. A hierarchical wholebody modeling approach elucidates the link between in vitro insulin signaling and in vivo glucose homeostasis. J. Biol. Chem.
**2011**, 286, 26028–26041. [Google Scholar] [CrossRef] [PubMed] - Nyman, E.; Cedersund, G.; Strålfors, P. Insulin signaling-mathematical modeling comes of age. Trends Endocrinol. Metab.
**2012**, 23, 107–115. [Google Scholar] [CrossRef] [PubMed] - Cedersund, G. Conclusions via unique predictions obtained despite unidentifiability-new definitions and a general method. FEBS J.
**2012**, 279, 3513–3527. [Google Scholar] [CrossRef] [PubMed] - Berestovsky, N.; Zhou, W.; Nagrath, D.; Nakhleh, L. Modeling integrated cellular machinery using hybrid Petri-Boolean networks. PLoS Comput. Biol.
**2013**, 9, e1003306. [Google Scholar] [CrossRef] [PubMed] - Garcia-Gabin, W.; Jacobsen, E.W. Multilevel model of type 1 diabetes mellitus patients for model-based glucose controllers. J. Diabetes Sci. Technol.
**2013**, 7, 193–201. [Google Scholar] [CrossRef] [PubMed] - Brännmark, C.; Nyman, E.; Fangerholm, S.; Bergenholm, L.; Ekstrand, E.M.; Cedersund, G.; Strålfors, P. Insulin signaling in type 2 diabetis. J. Biol. Chem.
**2013**, 288, 9876–9880. [Google Scholar] - Smith, G.R.; Shanley, D.P. Computational modelling of the regulation of insulin signalling by oxidative stress. BMC Syst. Biol.
**2013**, 7, 41. [Google Scholar] [CrossRef] [PubMed] - Ajmera, I.; Swat, M.; Laibe, C.; le Novère, N.; Chelliah, V. The impact of mathematical modeling on the understanding of diabetes and related complications. CPT Pharmacomet. Syst. Pharmacol.
**2013**, 2, e54. [Google Scholar] [CrossRef] [PubMed] - Bevan, A.P.; Drake, P.G.; Bergeron, J.J.; Posner, B.I. Intracellular signal transduction: The role of endosomes. Trends Endocrinol. Metab.
**1996**, 7, 13–21. [Google Scholar] [CrossRef] - Goh, L.K.; Sorkin, A. Endocytosis of receptor tyrosine kinases. Cold Spring Harb. Perspect. Biol.
**2013**, 5, a017459. [Google Scholar] [CrossRef] [PubMed] - Song, R.; Peng, W.; Zhang, Y.; Lv, F.; Wu, H.K.; Guo, J.; Cao, Y.; Pi, Y.; Zhang, X.; Jin, L.; et al. Central role of E3 ubiquitin ligase MG53 in insulin resistance and metabolic disorders. Nature
**2013**, 494, 375–379. [Google Scholar] [CrossRef] [PubMed] - Olefsky, J.M. Decreased insulin binding to adipocytes and circulating monocytes from obese subjects. J. Clin. Investig.
**1976**, 57, 1165–1172. [Google Scholar] [CrossRef] [PubMed] - Kolterman, O.; Insel, J.; Saekow, M.; Olefsky, J. Mechanisms of insulin resistance in human obesity: Evidence for receptor and postreceptor defects. J. Clin. Investig.
**1980**, 65, 1272–1284. [Google Scholar] [CrossRef] [PubMed] - Kolterman, O.; Gray, R.; Griffin, J.; Burstein, P.; Insel, J.; Scarlett, J.A.; Olefsky, J.M. Receptor and postreceptor defects contribute to the insulin resistance in noninsulin-dependent diabetes mellitus. J. Clin. Investig.
**1981**, 68, 957–969. [Google Scholar] [CrossRef] [PubMed] - Friedman, J.E.; Ishizuka, T.; Liu, S.; Farrell, C.J.; Bedol, D.; Koletsky, R.J.; Kaung, H.-L.; Ernsberger, P. Reduced insulin receptor signaling in the obese spontaneously hypertensive Koletsky rat. Am. J. Physiol. Endocrinol. Metab.
**1997**, 273, E1014–E1023. [Google Scholar] - Danielsson, A.; Fagerholm, S.; Öst, A.; Franck, N.; Kjolhede, P.; Nystrom, F.H.; Strålfors, P. Short-term overeating induces insulin resistance in fat cells in lean human subjects. Mol. Med.
**2009**, 15, 228–234. [Google Scholar] [CrossRef] [PubMed] - Petri, C.A. Kommunikation mit Automaten. Ph.D. Thesis, University of Bonn, Bonn, Germany, 1962. [Google Scholar]
- Murata, T. Petri nets: Properties, analysis and applications. Proc. IEEE Int. Conf. Consum. Electron.
**1989**, 77, 541–580. [Google Scholar] [CrossRef] - Koch, I.; Reisig, W.; Schreiber, F. Modeling in Systems Biology: The Petri Net Approach; Computational Biology; Dress, A., Vingron, M., Eds.; Springer-Verlag: London, UK, 2011; Volume 16. [Google Scholar]
- Reisig, W. Petri Nets: An Introduction. In EATCS Monographs on Theoretical Computer Science; Springer-Verlag: Berlin, Germany; Heidelberg, Germany, 1985; Volume 4. [Google Scholar]
- Haken, H. Synergetics. An Introduction; Springer-Verlag: Berlin, Germany; Heidelberg, Germany; New York, NY, USA, 1977. [Google Scholar]
- Murray, J.D. Mathematical Biology, 2nd ed.; Springer-Verlag: Berlin, Germany, 1993. [Google Scholar]
- Deuflhard, P.; Bornemann, F. Scientific Computing with Ordinary Differential Equations; Springer-Verlag: New York, NY, USA, 2002; Volume 42. [Google Scholar]
- Gillespie, D.T. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem.
**1977**, 81, 2340–2361. [Google Scholar] [CrossRef] - Gardiner, C.W. Handbook of Stochastic Methods; Springer-Verlag: Berlin, Germany, 1985; Volume 3. [Google Scholar]
- Wilkinson, D.J. Stochastic Modelling for Systems Biology; CRC Press: London, UK; New York, NY, USA, 2011. [Google Scholar]
- Gray, C. Sensitivity Analysis of the Insulin Signalling Pathway for Glucose Transport. Master’s Thesis, School of Mathematics and Statistics, The University of New South Wales, Pontypridd, UK, 2013. [Google Scholar]
- Gavin, J.R.; Roth, J.; Neville, D.M.; de Meyts, P.; Buell, D.N. Insulin-dependent regulation of insulin receptor concentrations: A direct demonstration in cell culture. Proc. Natl. Acad. Sci. USA
**1974**, 71, 84–88. [Google Scholar] [CrossRef] [PubMed] - Kosmakos, F.; Roth, J. Insulin-induced loss of the insulin receptor in IM-9 lymphocytes. A biological process mediated through the insulin receptor. J. Biol. Chem.
**1980**, 255, 9860–9869. [Google Scholar] [PubMed] - Kasuga, M.; Kahn, C.R.; Hedo, J.A.; van Obberghen, E.; Yamada, K.M. Insulin-induced receptor loss in cultured human lymphocytes is due to accelerated receptor degradation. Proc. Natl. Acad. Sci. USA
**1981**, 78, 6917–6921. [Google Scholar] [CrossRef] [PubMed] - Krupp, M.; Lane, M.D. On the mechanism of ligand-induced down-regulation of insulin receptor level in the liver cell. J. Biol. Chem.
**1981**, 256, 1689–1694. [Google Scholar] [PubMed] - Ronnett, G.; Knutson, V.; Lane, M. Insulin-induced down-regulation of insulin receptors in 3T3-L1 adipocytes. Altered rate of receptor inactivation. J. Biol. Chem.
**1982**, 257, 4285–4291. [Google Scholar] [PubMed] - Green, A.; Olefsky, J.M. Evidence for insulin-induced internalization and degradation of insulin receptors in rat adipocytes. Proc. Natl. Acad. Sci. USA
**1982**, 79, 427–431. [Google Scholar] [CrossRef] [PubMed] - Berhanu, P.; Olefsky, J.M.; Tsai, P.; Thamm, P.; Saunders, D.; Brandenburg, D. Internalization and molecular processing of insulin receptors in isolated rat adipocytes. Proc. Natl. Acad. Sci. USA
**1982**, 79, 4069–4073. [Google Scholar] [CrossRef] [PubMed] - Marshall, S. Kinetics of insulin receptor biosynthesis and membrane insertion: Relationship to cellular function. Diabetes
**1983**, 32, 319–325. [Google Scholar] [CrossRef] [PubMed] - Marshall, S.; Garvey, W.T.; Geller, M. Primary culture of isolated adipocytes. A new model to study insulin receptor regulation and insulin action. J. Biol. Chem.
**1984**, 259, 6376–6384. [Google Scholar] [PubMed] - Marshall, S. Kinetics of insulin receptor internalization and recycling in adipocytes. Shunting of receptors to a degradative pathway by inhibitors of recycling. J. Biol. Chem.
**1985**, 260, 4136–4144. [Google Scholar] [PubMed] - Knutson, V.; Ronnett, G.; Lane, M. The effects of cycloheximide and chloroquine on insulin receptor metabolism. Differential effects on receptor recycling and inactivation and insulin degradation. J. Biol. Chem.
**1985**, 260, 14180–14188. [Google Scholar] [PubMed] - Kahn, C.R.; White, M. The insulin receptor and the molecular mechanism of insulin action. J. Clin. Investig.
**1988**, 82, 1151–1156. [Google Scholar] [CrossRef] [PubMed] - Brunetti, A.; Maddux, B.; Wong, K.; Goldfine, I. Muscle cell differentiation is associated with increased insulin receptor biosynthesis and messenger RNA levels. J. Clin. Investig.
**1989**, 83, 192–198. [Google Scholar] [CrossRef] [PubMed] - Trischitta, V.; Wong, K.Y.; Brunetti, A.; Scalisi, R.; Vigneri, R.; Goldfine, I.D. Endocytosis, recycling, and degradation of the insulin receptor. Studies with monoclonal antireceptor antibodies that do not activate receptor kinase. J. Biol. Chem.
**1989**, 264, 5041–5046. [Google Scholar] [PubMed] - Haft, C.R.; Klausner, R.D.; Taylor, S.I. Involvement of dileucine motifs in the internalization and degradation of the insulin receptor. J. Biol. Chem.
**1994**, 269, 26286–26294. [Google Scholar] [PubMed] - Capozza, F.; Combs, T.P.; Cohen, A.W.; Cho, Y.R.; Park, S.Y.; Schubert, W.; Williams, T.M.; Brasaemle, D.L.; Jelicks, L.A.; Scherer, P.E.; et al. Caveolin-3 knockout mice show increased adiposity and whole body insulin resistance, with ligand-induced insulin receptor instability in skeletal muscle. Am. J. Physiol. Cell Physiol.
**2005**, 288, C1317–C1331. [Google Scholar] [CrossRef] [PubMed] - Ramos, F.J.; Langlais, P.R.; Hu, D.; Dong, L.Q.; Liu, F. Grb10 mediates insulin-stimulated degradation of the insulin receptor: A mechanism of negative regulation. Am. J. Physiol. Endocrinol. Metab
**2006**, 290, E1262–E1266. [Google Scholar] [CrossRef] [PubMed] - Zhou, L.; Zhang, J.; Fang, Q.; Liu, M.; Liu, X.; Jia, W.; Dong, L.Q.; Liu, F. Autophagy-mediated insulin receptor down-regulation contributes to endoplasmic reticulum stress-induced insulin resistance. Mol. Pharmacol.
**2009**, 76, 596–603. [Google Scholar] [CrossRef] [PubMed] - González-Muñoz, E.; Lopez-Iglesias, C.; Calvo, M.; Palacín, M.; Zorzano, A.; Camps, M. Caveolin-1 loss of function accelerates glucose transporter 4 and insulin receptor degradation in 3T3-L1 adipocytes. Endocrinology
**2009**, 150, 3493–3502. [Google Scholar] [CrossRef] [PubMed][Green Version] - Mayer, C.M.; Belsham, D.D. Central insulin signaling is attenuated by long-term insulin exposure via insulin receptor substrate-1 serine phosphorylation, proteasomal degradation, and lysosomal insulin receptor degradation. Endocrinology
**2010**, 151, 75–84. [Google Scholar] [CrossRef] [PubMed] - Popova-Zeugmann, L. Time and Petri Nets: An Introduction; Springer-Verlag: Berlin, Germany; Heidelberg, Germany, 2013. [Google Scholar]
- Jensen, K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use; Springer-Verlag: Berlin, Germany; Heidelberg, Germany, 1997; Volume 2. [Google Scholar]
- Ratzer, A.V.; Wells, L.; Lassen, H.M.; Laursen, M.; Qvortrup, J.F.; Stissing, M.S.; Westergaard, M.; Christensen, S.; Jensen, K. CPN tools for editing, simulating, and analysing coloured Petri nets. In Proceedings of the ICATPN’03 Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, Eindhoven, The Netherlands, 23–27 June 2003; Springer-Verlag: Berlin, Germany; Heidelberg, Germany, 2003; pp. 450–462. [Google Scholar]
- Starke, P. Analyse von Petri-Netz-Modellen; G.G. Teubner-Verlag: Stuttgart, Germany, 1990. [Google Scholar]
- Balazki, P.; Lindauer, K.; Einloft, J.; Ackermann, J.; Koch, I. MonaLisa for stochastic simulations of Petri net models of biochemical systems. BMC Bioinform.
**2015**, 16, 215–226. [Google Scholar] [CrossRef] [PubMed] - Balazki, P.; Lindauer, K.; Einloft, J.; Ackermann, J.; Koch, I. Erratum to: MonaLisa for stochastic simulations of Petri net models of biochemical systems. BMC Bioinform.
**2015**, 16, 371. [Google Scholar] [CrossRef] [PubMed] - Corless, R.; Gonnet, G.; Hare, D.; Jeffrey, D.; Knuth, D. On the Lambert W function. Adv. Comput. Math.
**1996**, 5, 329–359. [Google Scholar] [CrossRef] - Lautenbach, K. Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen; Report 82; Gesellschaft für Mathematik und Datenverarbeitung: Bonn, Germany, 1973. [Google Scholar]
- Colom, J.M.; Silva, M. Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows. In Advances in Petri Nets; Springer-Verlag: Berlin, Germany; Heidelberg, Germany, 1991; pp. 79–112. [Google Scholar]
- Fortunato, S. Community detection in graphs. Phys. Rep.
**2010**, 486, 75–174. [Google Scholar] [CrossRef] - Shen, J.; Chen, Z.; Chen, C.; Zhu, X.; Han, Y. Impact of incretin on early-phase insulin secretion and glucose excursion. Endocrine
**2013**, 44, 403–410. [Google Scholar] [CrossRef] [PubMed] - Brunetti, A.; Manfiolett, G.; Chiefari, E.; Goldfine, I.D.; Foti, D. Transcriptional regulation of human insulin receptor gene by the high-mobility group protein HMGI (Y). FASEB J.
**2001**, 15, 492–500. [Google Scholar] [CrossRef] [PubMed] - Foti, D.; Iuliano, R.; Chiefari, E.; Brunetti, A. A nucleoprotein complex containing Sp1, C/EBP, and HMGI-Y controls human insulin receptor gene transcription. Mol. Cell. Biol.
**2003**, 23, 2720–2732. [Google Scholar] [CrossRef] [PubMed] - Puig, O.; Tjian, R. Transcriptional feedback control of insulin receptor by dFOXO/FOXO1. Genes Dev.
**2005**, 19, 2435–2446. [Google Scholar] [CrossRef] [PubMed] - Friedman, A.; Perrimon, N. A functional RNAi screen for regulators of receptor tyrosine kinase and ERK signalling. Nature
**2006**, 444, 230–234. [Google Scholar] [CrossRef] [PubMed] - Sackmann, A.; Heiner, M.; Koch, I. Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinform.
**2006**, 7, 482. [Google Scholar] [CrossRef] [PubMed] - Ackermann, J.; Einloft, J.; Nöthen, J.; Koch, I. Reduction techniques for network validation in systems biology. J. Theor. Biol.
**2012**, 315, 71–80. [Google Scholar] [CrossRef] [PubMed] - Einloft, J.; Ackermann, J.; Nöthen, J.; Koch, I. MonaLisa—Visualization and analysis of functional modules in biochemical networks. Bioinformatics
**2013**, 29, 1469–1470. [Google Scholar] [CrossRef] [PubMed] - Baumgarten, B. Petri-Netze Grundlagen und Anwendungen; Spektrum Akademischer Verlag GmbH: Heidelberg, Germany; Berlin, Germany; Oxford, UK, 1996. (In German) [Google Scholar]
- Grafahrend-Belau, E.; Schreiber, F.; Heiner, M.; Sackmann, A.; Junker, B.; Grunwald, S.; Speer, A.; Winder, K.; Koch, I. Modularization of biochemical networks based on classification of Petri Net t-invariants. BMC Bioinform.
**2008**, 9, 90. [Google Scholar] [CrossRef] [PubMed]

© 2015 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/4.0/).