CC PT association
CC + PT > CCPT
clkm translation
∅ > CLK
Degradation of per mRNA
perm > ∅
perm translation
∅ > PER
Degradation of CLK CYK dimer
CC > ∅
per transcription
∅ > perm
vri transcription
∅ > vrim
Degradation of CC PT dimer
CCPT > ∅
Degradation of vri mRNA
vrim > ∅
vrim translation
∅ > VRI
VRI protein degradation
VRI > ∅
pdp transcription
∅ > pdpm
Degradation of pdp mRNA
pdpm > ∅
pdpm translation
∅ > PDP
PDP protein degradation
PDP > ∅
Degradation of PER TIM dimer
PT > ∅
clk transcription
∅ > clkm
CLK CYC association
CLK + CYC > CC
CLK protein degradation
CLK > ∅
CLK CYC dissociation
CC > CLK + CYC
PER TIM association
PER + TIM > PT
PER TIM dissociation
PT > PER + TIM
PER protein degradation
PER > ∅
tim transcription
∅ > timm
Degradation of tim mRNA
timm > ∅
timm translation
∅ > TIM
TIM protein degradation
TIM > ∅
CC PT dimer dissociation
CCPT > CC + PT
CC binding probability in per promoter
∅ > prcper
CC Unbinding probability in per promoter
prcper > ∅
CC Unbinding probability in vri promoter
prcv > ∅
CC binding probability in vri promoter
∅ > prcv
CC Unbinding probability in pdp1 promoter
prcpdp > ∅
CC binding probability in pdp1 promoter
∅ > prcpdp
VRI binding clk promoter
∅ > prvc
VRI unbinding clk promoter
prvc > ∅
PDP binding clk promoter
∅ > prpc
PDP unbinding clk promoter
prpc > ∅
CC binding probability in tim promoter
∅ > prct
CC Unbinding probability in tim promoter
prct > ∅
Degradation of clk mRNA
clkm > ∅
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.