Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Chemistry — Petri Net: Displacement Redox

Zn + Cu2+ -> Zn2+ + Cu as token flow.

Petri NetsChemistry & PhysicsPetri Nets syntax docs
Template previewPetri Nets
Displacement reactionZn (metal)≤2Cu2+ (ions)≤2Electron transferenabledZn2+ (ions)≤2Cu (metal)≤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 `Zn2+ (ions)` 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 ti…Place `Cu (metal)` 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 Zn2+ (ions) 2 · Cu (metal) 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 t…Conservation law: Cu2+ (ions) + Cu (metal) = 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 searc…Conservation law: Cu2+ (ions) + Zn2+ (ions) = 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: Zn (metal) + Cu (metal) = 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 Displacement reaction

place Zn tokens 2 "Zn (metal)"
place Cu2 tokens 2 "Cu2+ (ions)"
transition redox "Electron transfer"
place Zn2 tokens 0 "Zn2+ (ions)"
place Cu tokens 0 "Cu (metal)"

Zn -> redox
Cu2 -> redox
redox -> Zn2
redox -> Cu