Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Petri Net: Nitrogen Cycle

Microbial transformations cycling nitrogen.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
Nitrogen cycle (microbial)N2 (air)≤3Nitrogen fixationenabledAmmonia≤3NitrificationNitrate≤3DenitrificationPlant uptakePlant protein≤3Reachable markings204 places · 4 transitionsTerminatesyes1 final markingLive transitions4/4every one firesSafe places0/4bound ≤ 1 tokenConservation laws1every place covered20 reachable markings, 4 places, 4 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 `Plant protein` 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 …This net runs to completion and stops at Plant protein 3. Nothing is enabled there, and it is not a deadlock: every transition still short of an input is short of one that NOTHING in this net produ…Conservation law: N2 (air) + Ammonia + Nitrate + Plant protein = 3, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not o…

Make it your own.

title Nitrogen cycle (microbial)

place N2 tokens 3 "N2 (air)"
transition fix "Nitrogen fixation"
place NH3 tokens 0 "Ammonia"
transition nitrify "Nitrification"
place NO3 tokens 0 "Nitrate"
transition denitrify "Denitrification"
transition assimilate "Plant uptake"
place Plant tokens 0 "Plant protein"

N2 -> fix
fix -> NH3
NH3 -> nitrify
nitrify -> NO3
NO3 -> denitrify
denitrify -> N2
NO3 -> assimilate
assimilate -> Plant