Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Chemistry — Petri Net: Haber Process

N2 + 3 H2 <-> 2 NH3 with stoichiometric arcs.

Petri NetsChemistry & PhysicsPetri Nets syntax docs
Template previewPetri Nets
Haber processw=3w=2w=2w=3N2≤26H2≤6Forward (Fe catalyst)enabledNH3≤4ReverseReachable markings33 places · 2 transitionsTerminatesneverruns for everLive transitions2/2every one firesSafe places0/3bound ≤ 1 tokenConservation laws2every place covered3 reachable markings, 3 places, 2 transitions — bounded, deadlock-free, and every transition fires.`H2 -> forward` is written 3 times. The weights ADD, so the pair moves 3 tokens per firing — which is exactly what a Petri net means by repeated arcs, and how a stoichiometric coefficient is writte…`forward -> NH3` is written 2 times. The weights ADD, so the pair moves 2 tokens per firing — which is exactly what a Petri net means by repeated arcs, and how a stoichiometric coefficient is writt…`NH3 -> reverse` is written 2 times. The weights ADD, so the pair moves 2 tokens per firing — which is exactly what a Petri net means by repeated arcs, and how a stoichiometric coefficient is writt…`reverse -> H2` is written 3 times. The weights ADD, so the pair moves 3 tokens per firing — which is exactly what a Petri net means by repeated arcs, and how a stoichiometric coefficient is writte…Conservation law: 2·H2 + 3·NH3 = 12, 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: 2·N2 + NH3 = 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.+ 1 further findings not listed

Make it your own.

title Haber process

place N2 tokens 2 "N2"
place H2 tokens 6 "H2"
transition forward "Forward (Fe catalyst)"
place NH3 tokens 0 "NH3"
transition reverse "Reverse"

N2 -> forward
H2 -> forward
H2 -> forward
H2 -> forward
forward -> NH3
forward -> NH3
NH3 -> reverse
NH3 -> reverse
reverse -> N2
reverse -> H2
reverse -> H2
reverse -> H2