Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Chemistry — Chemical Equilibrium (Petri Net)

Forward and reverse reactions as a token net.

Petri NetsScientific PlotsPetri Nets syntax docs
Template previewPetri Nets
Chemical equilibrium (reversible)Reactant A≤5Reactant B≤5Product C≤5Forward: A + B -> CenabledReverse: C -> A + BReachable markings63 places · 2 transitionsTerminatesneverruns for everLive transitions2/2every one firesSafe places0/3bound ≤ 1 tokenConservation laws2every place covered6 reachable markings, 3 places, 2 transitions — bounded, deadlock-free, and every transition fires.Conservation law: Reactant B + Product C = 5, 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: Reactant A + Product C = 5, 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.

Make it your own.

title Chemical equilibrium (reversible)

place A tokens 5 "Reactant A"
place B tokens 5 "Reactant B"
place C tokens 0 "Product C"
transition fwd "Forward: A + B -> C"
transition rev "Reverse: C -> A + B"

A -> fwd
B -> fwd
fwd -> C
C -> rev
rev -> A
rev -> B