Fig. 4From: Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checkingPhase 3 Biofilm production model. To graphically distinguish discrete and continuous nodes, we adopt the usual drawing convention of representing discrete nodes by thin lines, and continuous nodes by thicker lines. The arc weight for the read arc going from go to Transport_in is given by the integer constant THR. All transition rates follow mass-action kinetics with specific rate constants (not shown); see Additional file 2 for details. Colour code: yellow - discrete nodes (the go mechanism), green - infinite inflow, blue - protein (complexes), red - genes. This model can be equally read as SPN or HPNBack to article page