Abstract:Diabetes is a chronic condition, considered one of the civilization diseases, that is characterized by sustained high blood sugar levels. There is no doubt that more and more people is going to suffer from diabetes, hence it is crucial to understand better its biological foundations. The essential processes related to the control of glucose levels in the blood are: glycolysis (process of breaking down of glucose) and glucose synthesis, both taking place in the liver. The glycolysis occurs during feeding and it is stimulated by insulin. On the other hand, the glucose synthesis arises during fasting and it is stimulated by glucagon. In the paper we present a Petri net model of glycolysis and glucose synthesis in the liver. The model is created based on medical literature. Standard Petri nets techniques are used to analyse the properties of the model: traps, reachability graphs, tokens dynamics, deadlocks analysis. The results are described in the paper. Our analysis shows that the model captures the interactions between different enzymes and substances, which is consistent with the biological processes occurring during fasting and feeding. The model constitutes the first element of our long-time goal to create the whole body model of the glucose regulation in a healthy human and a person with diabetes.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to better understand the biological basis of diabetes by modeling and analyzing the glucose regulation process in the liver. Specifically, the author uses the Petri net model to describe two key processes in the liver related to blood - glucose - level control: **glycolysis** and **glucose synthesis**. These two processes are activated during the fed and fasted states respectively and are regulated by two hormones, insulin and glucagon.
### Problem Background
Diabetes is a chronic disease characterized by persistent high blood - glucose levels. With the change of lifestyle, more and more people will be affected by diabetes. Therefore, in - depth understanding of the biological mechanism of diabetes is crucial for the prevention and treatment of this disease. The liver plays a key role in maintaining blood - glucose homeostasis, especially in the processes of glycolysis and glucose synthesis.
### Goals of the Paper
1. **Establish a Petri net model**: The author aims to create a mathematical model based on Petri nets to simulate the glycolysis and glucose synthesis processes in the liver. This model is based on medical literature and is analyzed using standard Petri net analysis tools (such as reachability graphs, token dynamics, deadlock analysis, etc.).
2. **Understand biological processes**: By analyzing the Petri net model, the author hopes to reveal the interactions between different enzymes and substances, which play important roles in the biological processes during the fed and fasted periods.
3. **Long - term goal**: Eventually, the author plans to construct a more comprehensive model covering the entire body's glucose regulation process, including the situations of healthy people and diabetic patients.
### Specific Contents of the Model
- **Glycolysis**: When the human body is in the fed state, the insulin level rises, stimulating the glycolysis process. In this process, glucose is broken down into pyruvate. The relevant places in the Petri net model include "Insulin", "Glucose", "PP", "GK", "Kin", "Pho", "F26P2", "a6PFK1", "nFBPase", etc.
- **Glucose synthesis**: When the human body is in the fasted state, the glucagon level rises, stimulating the glucose synthesis process. In this process, pyruvate is converted into glucose. The relevant places in the Petri net model include "Glucagon", "cAMP", "PKA", "Pho", "Kin", "mF26P2", "n6PFK1", "aFBPase", etc.
### Analysis Methods
The author uses standard analysis tools for Petri nets, such as:
- **Reachability Graph**: Used to study the behavior and state changes of the model.
- **Trap**: Used to analyze the stable structures in the system.
- **Deadlock Analysis**: Used to identify the unreachable states that may occur in the system.
Through these analyses, the author shows that the model can capture the complex interactions between different enzymes and substances, and these interactions are consistent with the actual biological processes.
### Conclusion
The first step of this paper is to successfully use the Petri net model to describe the glycolysis and glucose synthesis processes in the liver. Future work will involve expanding the model so that it can more comprehensively reflect the entire body's glucose regulation mechanism and explore how to use these models to discover the regularities and abnormalities in healthy and unhealthy body functions.
### Formula Representation
In the Petri net model, some of the formulas involved are as follows:
- **Marking**: $M: P \to \mathbb{N}$, which represents the number of tokens on each place.
- **Transition enabling condition**: $M[t\rangle$, which means that under the marking $M$, the transition $t$ is triggerable, that is, $\forall p \in P, M(p) \geq F(p, t)$.
- **Marking update after triggering**: $M'[p] = M[p] - F(p, t)+F(t, p)$, which represents the calculation method of the new marking $M'$ after triggering the transition $t$.
These formulas ensure the correctness and readability of the Petri net model.