Table 6 Initial concentration (marking) for the biofilm formation component
From: Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking
places | comment | initial value |
|---|---|---|
QSeBC | a constant place which never changes | 1 |
lsrGenes_LsrR | the inhibited state of the lsr genes1 | 1 |
LsrABCD, LsrK, LsrR | the Lsr proteins | 1 |
else | all other places | 0 |