Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Translation (Petri Net)

Ribosome reads mRNA to build a polypeptide.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
Translation (protein synthesis)mRNA≤16Charged tRNA≤6Ribosome≤1Polypeptide≤1Ribosome on mRNA≤1Nascent chain≤1Ribosome binds mRNAenabledAdd amino acidRelease polypeptideReachable markings46 places · 3 transitionsTerminatesyes1 final markingLive transitions3/3every one firesSafe places5/6bound ≤ 1 tokenConservation laws3every place covered4 reachable markings, 6 places, 3 transitions — bounded, deadlock-free, and every transition fires: it stops at 1 final marking, each of them a net that used up what it was given…Place `Polypeptide` 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 title tel…This net runs to completion and stops at Charged tRNA 5 · Ribosome 1 · Polypeptide 1. Nothing is enabled there, and it is not a deadlock: every transition still short of an input is short of one that NOTH…Conservation law: mRNA + Polypeptide + Ribosome on mRNA + Nascent chain = 1, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not…Conservation law: Ribosome + Ribosome on mRNA + Nascent chain = 1, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not observed …Conservation law: Charged tRNA + Polypeptide + Nascent chain = 6, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not observed o…

Make it your own.

title Translation (protein synthesis)

place mRNA tokens 1 "mRNA"
place tRNA tokens 6 "Charged tRNA"
place Ribosome tokens 1 "Ribosome"
place Protein tokens 0 "Polypeptide"
place Complex tokens 0 "Ribosome on mRNA"
place Chain tokens 0 "Nascent chain"
transition initiate "Ribosome binds mRNA"
transition elongate "Add amino acid"
transition terminate "Release polypeptide"

mRNA -> initiate
Ribosome -> initiate
initiate -> Complex
Complex -> elongate
tRNA -> elongate
elongate -> Chain
Chain -> terminate
terminate -> Protein
terminate -> Ribosome