Skip to main content
Fig. 4 | BMC Bioinformatics

Fig. 4

From: Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking

Fig. 4

Phase 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 HPN

Back to article page