Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Chemistry — Petri Net: Neutralisation

HCl + NaOH -> NaCl + H2O as a token-flow reaction.

Petri NetsChemistry & PhysicsPetri Nets syntax docs
Template previewPetri Nets
Acid-base neutralisationHCl≤2NaOH≤2NeutralisationenabledNaCl≤2H2O≤2Reachable markings34 places · 1 transitionTerminatesyes1 final markingLive transitions1/1every one firesSafe places0/4bound ≤ 1 tokenConservation laws4every place covered3 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 …Place `NaCl` 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 tel…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 NaCl 2 · 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 produc…Conservation law: NaOH + 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.Conservation law: NaOH + NaCl = 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.Conservation law: HCl + 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.+ 2 further findings not listed

Make it your own.

title Acid-base neutralisation

place HCl tokens 2 "HCl"
place NaOH tokens 2 "NaOH"
transition neutralise "Neutralisation"
place NaCl tokens 0 "NaCl"
place H2O tokens 0 "H2O"

HCl -> neutralise
NaOH -> neutralise
neutralise -> NaCl
neutralise -> H2O