Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Petri Net: ATP-ADP Cycle

The cell's energy currency cycling between ATP and ADP.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
ATP-ADP energy cycleADP + Pi≤3ATP≤3RespirationenabledCellular workReachable markings42 places · 2 transitionsTerminatesneverruns for everLive transitions2/2every one firesSafe places0/2bound ≤ 1 tokenConservation laws1every place covered4 reachable markings, 2 places, 2 transitions — bounded, deadlock-free, and every transition fires.Conservation law: ADP + Pi + ATP = 3, 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.

Make it your own.

title ATP-ADP energy cycle

place ADP tokens 3 "ADP + Pi"
place ATP tokens 0 "ATP"
transition charge "Respiration"
transition spend "Cellular work"

ADP -> charge
charge -> ATP
ATP -> spend
spend -> ADP