Fig. 3From: Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checkingPhase 2 model. Petri net obtained by SBML import of the model presented in [24], mimicking the original layout, but rotated by 180 degrees. Note that we have removed the two transitions describing the phosphorylation of AI-2 and the transportation of AI-2 back into the cell since they occur in the Phase 3 biofilm formation part. All transition rates follow mass-action kinetics with specific rate constants (not shown); see Additional file 2 for details. Colour code: source places highlighted in green and genes in red. This model can be equally read as SPN or CPNBack to article page