Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — DNA Replication (Petri Net)

Unwinding then synthesis of new strands.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
DNA replicationDouble-stranded DNA≤1Helicase≤110dNTPs≤10Unwound strands≤1New DNA≤1Helicase unwindsenabledPolymerase synthesisesReachable markings35 places · 2 transitionsTerminatesyes1 final markingLive transitions2/2every one firesSafe places4/5bound ≤ 1 tokenConservation laws3every place covered3 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 was…Place `New DNA` 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 …This net runs to completion and stops at Helicase 1 · dNTPs 9 · New DNA 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: Double-stranded DNA + Unwound strands + New DNA = 1, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, no…Conservation law: dNTPs + New DNA = 10, 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: Helicase = 1, 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 DNA replication

place dsDNA tokens 1 "Double-stranded DNA"
place Helicase tokens 1 "Helicase"
place Nucleotides tokens 10 "dNTPs"
place ssDNA tokens 0 "Unwound strands"
place newDNA tokens 0 "New DNA"
transition unwind "Helicase unwinds"
transition synth "Polymerase synthesises"

dsDNA -> unwind
Helicase -> unwind
unwind -> ssDNA
unwind -> Helicase
ssDNA -> synth
Nucleotides -> synth
synth -> newDNA