Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Chemistry — Petri Net: Precipitation

A double-displacement reaction forming a precipitate.

Petri NetsChemistry & PhysicsPetri Nets syntax docs
Template previewPetri Nets
Precipitation reactionAgNO3≤2NaCl≤2Double displacementenabledAgCl (precipitate)≤2NaNO3 (aq)≤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 `AgCl (precipitate)` 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…Place `NaNO3 (aq)` 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 AgCl (precipitate) 2 · NaNO3 (aq) 2. Nothing is enabled there, and it is not a deadlock: every transition still short of an input is short of one that NOTHI…Conservation law: NaCl + NaNO3 (aq) = 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: NaCl + AgCl (precipitate) = 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 sear…Conservation law: AgNO3 + NaNO3 (aq) = 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 Precipitation reaction

place AgNO3 tokens 2 "AgNO3"
place NaCl tokens 2 "NaCl"
transition react "Double displacement"
place AgCl tokens 0 "AgCl (precipitate)"
place NaNO3 tokens 0 "NaNO3 (aq)"

AgNO3 -> react
NaCl -> react
react -> AgCl
react -> NaNO3