Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Petri Net: TCA Cycle

A cyclic reaction net regenerating oxaloacetate.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
TCA cycle (simplified)Acetyl-CoA≤2Oxaloacetate≤1Citrate synthaseenabledCitrate≤1Oxidative stepsCO2 + NADH≤2Reachable markings54 places · 2 transitionsTerminatesyes1 final markingLive transitions2/2every one firesSafe places2/4bound ≤ 1 tokenConservation laws2every place covered5 reachable markings, 4 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…Place `CO2 + NADH` 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 tit…This net runs to completion and stops at Oxaloacetate 1 · CO2 + NADH 2. Nothing is enabled there, and it is not a deadlock: every transition still short of an input is short of one that NOTHING in …Conservation law: Acetyl-CoA + Citrate + CO2 + NADH = 2, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not observed ove…Conservation law: Oxaloacetate + Citrate = 1, 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 TCA cycle (simplified)

place AcetylCoA tokens 2 "Acetyl-CoA"
place OAA tokens 1 "Oxaloacetate"
transition condense "Citrate synthase"
place Citrate tokens 0 "Citrate"
transition oxidise "Oxidative steps"
place CO2 tokens 0 "CO2 + NADH"

AcetylCoA -> condense
OAA -> condense
condense -> Citrate
Citrate -> oxidise
oxidise -> CO2
oxidise -> OAA