Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Transcription (Petri Net)

RNA polymerase builds mRNA from a gene.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
TranscriptionGene (DNA)≤1RNA polymerase≤18RNA nucleotides≤8mRNA≤8Polymerase at promo…≤1Polymerase binds prom…enabledBuild mRNA strandReachable markings185 places · 2 transitionsTerminatesyes1 final markingLive transitions2/2every one firesSafe places3/5bound ≤ 1 tokenConservation laws3every place covered18 reachable markings, 5 places, 2 transitions — bounded, deadlock-free, and every transition fires: it stops at 1 final marking, each of them a net that used up what it wa…Place `mRNA` 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 mRNA 8 · Polymerase at promoter 1. Nothing is enabled there, and it is not a deadlock: every transition still short of an input is short of one that NOTHING…Conservation law: RNA nucleotides + mRNA = 8, 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: RNA polymerase + Polymerase at promoter = 1, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not observ…Conservation law: Gene (DNA) + Polymerase at promoter = 1, 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 Transcription

place DNA tokens 1 "Gene (DNA)"
place RNApol tokens 1 "RNA polymerase"
place Nucleotides tokens 8 "RNA nucleotides"
place mRNA tokens 0 "mRNA"
place Open tokens 0 "Polymerase at promoter"
transition bind "Polymerase binds promoter"
transition synth "Build mRNA strand"

DNA -> bind
RNApol -> bind
bind -> Open
Open -> synth
Nucleotides -> synth
synth -> mRNA
synth -> DNA
synth -> RNApol