Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Chemistry — Petri Net: Methane Combustion

CH4 + 2 O2 -> CO2 + 2 H2O with stoichiometric token arcs.

Petri NetsChemistry & PhysicsPetri Nets syntax docs
Template previewPetri Nets
Methane combustionw=2w=2CH4≤1O2≤2CombustionenabledCO2≤1H2O≤2Reachable markings24 places · 1 transitionTerminatesyes1 final markingLive transitions1/1every one firesSafe places2/4bound ≤ 1 tokenConservation laws4every place covered2 reachable markings, 4 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 …`O2 -> burn` 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 written. …`burn -> H2O` 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 written.…Place `CO2` 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 `H2O` 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…This net runs to completion and stops at CO2 1 · H2O 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 this net produce…Conservation law: O2 + H2O = 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 a search.+ 4 further findings not listed

Make it your own.

title Methane combustion

place CH4 tokens 1 "CH4"
place O2 tokens 2 "O2"
transition burn "Combustion"
place CO2 tokens 0 "CO2"
place H2O tokens 0 "H2O"

CH4 -> burn
O2 -> burn
O2 -> burn
burn -> CO2
burn -> H2O
burn -> H2O