Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Glucose–Insulin Feedback (Petri Net)

The corrective response to high blood glucose.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
Glucose-insulin feedbackHigh blood glucose≤5Insulin released≤5Normal glucose≤5Pancreas detects high…enabledCells absorb glucoseReachable markings213 places · 2 transitionsTerminatesyes1 final markingLive transitions2/2every one firesSafe places0/3bound ≤ 1 tokenConservation laws1every place covered21 reachable markings, 3 places, 2 transitions — bounded, deadlock-free, and every transition fires: it stops at 1 final marking, each of them a net that used up what it wa…Place `Normal glucose` has no outgoing arc: every token that reaches it stays there. A counter of completed work is exactly this, and so is a token leak — the two are the same drawing, and only the…This net runs to completion and stops at Normal glucose 5. Nothing is enabled there, and it is not a deadlock: every transition still short of an input is short of one that NOTHING in this net prod…Conservation law: High blood glucose + Insulin released + Normal glucose = 5, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence mat…

Make it your own.

title Glucose-insulin feedback

place HighGlucose tokens 5 "High blood glucose"
place Insulin tokens 0 "Insulin released"
place NormalGlucose tokens 0 "Normal glucose"
transition detect "Pancreas detects high glucose"
transition respond "Cells absorb glucose"

HighGlucose -> detect
detect -> Insulin
Insulin -> respond
respond -> NormalGlucose