Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Petri Net: Photosynthesis

Light reactions feeding the Calvin cycle.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
Photosynthesis (overview)Light energy≤46CO2≤66H2O≤6Light reactionsenabledATP + NADPH≤4O2≤4Calvin cycleGlucose≤4Reachable markings156 places · 2 transitionsTerminatesyes1 final markingLive transitions2/2every one firesSafe places0/6bound ≤ 1 tokenConservation laws5every place covered15 reachable markings, 6 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 wa…Place `O2` 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 tells…Place `Glucose` 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 …This net runs to completion and stops at CO2 2 · H2O 2 · O2 4 · Glucose 4. Nothing is enabled there, and it is not a deadlock: every transition still short of an input is short of one that NOTHING …Conservation law: H2O + ATP + NADPH + Glucose = 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 se…Conservation law: Light energy + ATP + NADPH + Glucose = 4, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not observed …Conservation law: H2O + O2 = 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.+ 3 further findings not listed

Make it your own.

title Photosynthesis (overview)

place Light tokens 4 "Light energy"
place CO2 tokens 6 "CO2"
place H2O tokens 6 "H2O"
transition light_rxn "Light reactions"
place ATP_NADPH tokens 0 "ATP + NADPH"
place O2 tokens 0 "O2"
transition calvin "Calvin cycle"
place Glucose tokens 0 "Glucose"

Light -> light_rxn
H2O -> light_rxn
light_rxn -> ATP_NADPH
light_rxn -> O2
CO2 -> calvin
ATP_NADPH -> calvin
calvin -> Glucose