Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Petri Net: Glycolysis (simplified)

Investment and payoff phases with ATP stoichiometry.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
Glycolysis (simplified)w=2w=4Glucose≤1ATP≤2Energy investmentenabledFructose-1,6-BP≤1Cleavage + payoffPyruvate≤2ATP (net gain)≤4Reachable markings35 places · 2 transitionsTerminatesyes1 final markingLive transitions2/2every one firesSafe places2/5bound ≤ 1 tokenConservation laws4every place covered3 reachable markings, 5 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 was…`split -> Pyruvate` is written 2 times. The weights ADD, so the pair moves 2 tokens per firing — which is exactly what a Petri net means by repeated arcs, and how a stoichiometric coefficient is wr…`split -> ATPout` is written 4 times. The weights ADD, so the pair moves 4 tokens per firing — which is exactly what a Petri net means by repeated arcs, and how a stoichiometric coefficient is writ…Place `Pyruvate` 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 title…Place `ATP (net gain)` 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 ATP 1 · Pyruvate 2 · ATP (net gain) 4. Nothing is enabled there, and it is not a deadlock: every transition still short of an input is short of one that NOT…Conservation law: 2·ATP + 2·Fructose-1,6-BP + Pyruvate = 4, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not observed …+ 4 further findings not listed

Make it your own.

title Glycolysis (simplified)

place Glucose tokens 1 "Glucose"
place ATP tokens 2 "ATP"
transition invest "Energy investment"
place F16BP tokens 0 "Fructose-1,6-BP"
transition split "Cleavage + payoff"
place Pyruvate tokens 0 "Pyruvate"
place ATPout tokens 0 "ATP (net gain)"

Glucose -> invest
ATP -> invest
invest -> F16BP
F16BP -> split
split -> Pyruvate
split -> Pyruvate
split -> ATPout
split -> ATPout
split -> ATPout
split -> ATPout