Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Chemistry — Petri Net: Electrolysis of Water

2 H2O -> 2 H2 + O2 with stoichiometric token arcs.

Petri NetsChemistry & PhysicsPetri Nets syntax docs
Template previewPetri Nets
Electrolysis of waterw=2w=2H2O≤4Electrolysis (+ energ…enabledH2 (cathode)≤4O2 (anode)≤2Reachable markings33 places · 1 transitionTerminatesyes1 final markingLive transitions1/1every one firesSafe places0/3bound ≤ 1 tokenConservation laws2every place covered3 reachable markings, 3 places, 1 transition — bounded, deadlock-free, and every transition fires: it stops at 1 final marking, each of them a net that used up what it was …`H2O -> electrolyse` 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 w…`electrolyse -> H2` 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 wr…Place `H2 (cathode)` 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 t…Place `O2 (anode)` 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 H2 (cathode) 4 · O2 (anode) 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: H2O + 2·O2 (anode) = 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.+ 2 further findings not listed

Make it your own.

title Electrolysis of water

place H2O tokens 4 "H2O"
transition electrolyse "Electrolysis (+ energy)"
place H2 tokens 0 "H2 (cathode)"
place O2 tokens 0 "O2 (anode)"

H2O -> electrolyse
H2O -> electrolyse
electrolyse -> H2
electrolyse -> H2
electrolyse -> O2