Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Light Reactions (Petri Net)

Photolysis and photophosphorylation.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
Light reactions of photosynthesisLight photons≤4Water≤2ADP + Pi≤3NADP+≤2ATP≤2NADPH≤2Oxygen≤2Excited electrons≤2Photolysis of waterenabledPhotophosphorylationReachable markings68 places · 2 transitionsTerminatesyes1 final markingLive transitions2/2every one firesSafe places0/8bound ≤ 1 tokenConservation laws10every place covered6 reachable markings, 8 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 `ATP` 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 `NADPH` 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 te…Place `Oxygen` 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 t…This net runs to completion and stops at Light photons 2 · ADP + Pi 1 · ATP 2 · NADPH 2 · Oxygen 2. Nothing is enabled there, and it is not a deadlock: every transition still short of an input is s…Conservation law: Water + NADPH + Excited electrons = 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: Water + ATP + Excited electrons = 2, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not observed over …+ 6 further findings not listed

Make it your own.

title Light reactions of photosynthesis

place Photons tokens 4 "Light photons"
place Water tokens 2 "Water"
place ADP tokens 3 "ADP + Pi"
place NADP tokens 2 "NADP+"
place ATP tokens 0 "ATP"
place NADPH tokens 0 "NADPH"
place O2 tokens 0 "Oxygen"
place Electrons tokens 0 "Excited electrons"
transition split "Photolysis of water"
transition phosphorylate "Photophosphorylation"

Photons -> split
Water -> split
split -> O2
split -> Electrons
Electrons -> phosphorylate
ADP -> phosphorylate
NADP -> phosphorylate
phosphorylate -> ATP
phosphorylate -> NADPH