Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Petri Net: Sodium-Potassium Pump

One ATP moves 3 Na+ out and 2 K+ in.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
Sodium-potassium pump (one cycle)w=3w=2w=3w=2Na+ (inside)≤3K+ (outside)≤2ATP≤1Pump cycleenabledNa+ (outside)≤3K+ (inside)≤2ADP + Pi≤1Reachable markings26 places · 1 transitionTerminatesyes1 final markingLive transitions1/1every one firesSafe places2/6bound ≤ 1 tokenConservation laws9every place covered2 reachable markings, 6 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 …`NaIn -> pump` is written 3 times. The weights ADD, so the pair moves 3 tokens per firing — which is exactly what a Petri net means by repeated arcs, and how a stoichiometric coefficient is written…`KOut -> pump` is written 2 times. The weights ADD, so the pair moves 2 tokens per firing — which is exactly what a Petri net means by repeated arcs, and how a stoichiometric coefficient is written…`pump -> NaOut` is written 3 times. The weights ADD, so the pair moves 3 tokens per firing — which is exactly what a Petri net means by repeated arcs, and how a stoichiometric coefficient is writte…`pump -> KIn` is written 2 times. The weights ADD, so the pair moves 2 tokens per firing — which is exactly what a Petri net means by repeated arcs, and how a stoichiometric coefficient is written.…Place `Na+ (outside)` 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 …Place `K+ (inside)` 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…+ 10 further findings not listed

Make it your own.

title Sodium-potassium pump (one cycle)

place NaIn tokens 3 "Na+ (inside)"
place KOut tokens 2 "K+ (outside)"
place ATP tokens 1 "ATP"
transition pump "Pump cycle"
place NaOut tokens 0 "Na+ (outside)"
place KIn tokens 0 "K+ (inside)"
place ADP tokens 0 "ADP + Pi"

NaIn -> pump
NaIn -> pump
NaIn -> pump
KOut -> pump
KOut -> pump
ATP -> pump
pump -> NaOut
pump -> NaOut
pump -> NaOut
pump -> KIn
pump -> KIn
pump -> ADP