Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — ATP–ADP Cycle (Petri Net)

Phosphorylation and energy use as a token net.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
ATP-ADP cycleADP≤4Phosphate≤4ATP≤4Respiration: ADP + Pi…enabledWork: ATP -> ADP + PiReachable markings53 places · 2 transitionsTerminatesneverruns for everLive transitions2/2every one firesSafe places0/3bound ≤ 1 tokenConservation laws2every place covered5 reachable markings, 3 places, 2 transitions — bounded, deadlock-free, and every transition fires.Conservation law: Phosphate + ATP = 4, 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.Conservation law: ADP + ATP = 4, 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 cycle

place ADP tokens 4 "ADP"
place Pi tokens 4 "Phosphate"
place ATP tokens 0 "ATP"
transition synth "Respiration: ADP + Pi -> ATP"
transition use "Work: ATP -> ADP + Pi"

ADP -> synth
Pi -> synth
synth -> ATP
ATP -> use
use -> ADP
use -> Pi