Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Petri Net: Cellular Respiration

Glucose and oxygen consumed to make ATP.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
Cellular respiration (overview)w=6Glucose≤16O2≤6Aerobic respirationenabledCO2≤1H2O≤1ATP (~32)≤1Reachable markings25 places · 1 transitionTerminatesyes1 final markingLive transitions1/1every one firesSafe places4/5bound ≤ 1 tokenConservation laws6every place covered2 reachable markings, 5 places, 1 transition — bounded, deadlock-free, and every transition fires: it stops at 1 final marking, each of them a net that used up what it was …`O2 -> respire` is written 6 times. The weights ADD, so the pair moves 6 tokens per firing — which is exactly what a Petri net means by repeated arcs, and how a stoichiometric coefficient is writte…Place `CO2` 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 tell…Place `H2O` 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 tell…Place `ATP (~32)` 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 titl…This net runs to completion and stops at CO2 1 · H2O 1 · ATP (~32) 1. Nothing is enabled there, and it is not a deadlock: every transition still short of an input is short of one that NOTHING in th…Conservation law: O2 + 6·ATP (~32) = 6, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not observed over a search.+ 6 further findings not listed

Make it your own.

title Cellular respiration (overview)

place Glucose tokens 1 "Glucose"
place O2 tokens 6 "O2"
transition respire "Aerobic respiration"
place CO2 tokens 0 "CO2"
place H2O tokens 0 "H2O"
place ATP tokens 0 "ATP (~32)"

Glucose -> respire
O2 -> respire
O2 -> respire
O2 -> respire
O2 -> respire
O2 -> respire
O2 -> respire
respire -> CO2
respire -> H2O
respire -> ATP