Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Biology — Cell Signalling (Petri Net)

Ligand binding triggers a response; receptor recycles.

Petri NetsLife SciencesPetri Nets syntax docs
Template previewPetri Nets
Cell signallingSignal molecule≤3Free receptor≤2Bound complex≤2Cell response≤3Ligand binds receptorenabledComplex triggers resp…Reachable markings94 places · 2 transitionsTerminatesyes1 final markingLive transitions2/2every one firesSafe places0/4bound ≤ 1 tokenConservation laws2every place covered9 reachable markings, 4 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 `Cell response` 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 …This net runs to completion and stops at Free receptor 2 · Cell response 3. 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: Signal molecule + Bound complex + Cell response = 3, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, no…Conservation law: Free receptor + Bound complex = 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 …

Make it your own.

title Cell signalling

place Ligand tokens 3 "Signal molecule"
place Receptor tokens 2 "Free receptor"
place Complex tokens 0 "Bound complex"
place Response tokens 0 "Cell response"
transition bind "Ligand binds receptor"
transition signal "Complex triggers response"

Ligand -> bind
Receptor -> bind
bind -> Complex
Complex -> signal
signal -> Response
signal -> Receptor