Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Chemistry — Petri Net: Esterification

A reversible condensation reaching equilibrium.

Petri NetsChemistry & PhysicsPetri Nets syntax docs
Template previewPetri Nets
Esterification (reversible)Carboxylic acid≤2Alcohol≤2EsterifyenabledEster≤2Water≤2HydrolysisReachable markings34 places · 2 transitionsTerminatesneverruns for everLive transitions2/2every one firesSafe places0/4bound ≤ 1 tokenConservation laws4every place covered3 reachable markings, 4 places, 2 transitions — bounded, deadlock-free, and every transition fires.Conservation law: Alcohol + Water = 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: Alcohol + Ester = 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: Carboxylic acid + Water = 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: Carboxylic acid + Ester = 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.

Make it your own.

title Esterification (reversible)

place Acid tokens 2 "Carboxylic acid"
place Alcohol tokens 2 "Alcohol"
transition forward "Esterify"
place Ester tokens 0 "Ester"
place Water tokens 0 "Water"
transition hydrolyse "Hydrolysis"

Acid -> forward
Alcohol -> forward
forward -> Ester
forward -> Water
Ester -> hydrolyse
Water -> hydrolyse
hydrolyse -> Acid
hydrolyse -> Alcohol