Skip to main content
Fig. 6 | BMC Bioinformatics

Fig. 6

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

Fig. 6

Coloured combined model. The coloured model inherits its structure from the combined model, see Fig. 5, from which it was derived, but enriched by the colour annotations. Typically, uniform annotations are not shown. For illustration, we show them here for a few nodes and arcs, see top right. All other places have the same colour set as the place AI2_Out; all transitions for which the guard is not given have the same guard as shown for BasalProduceLsrABCD; and all arcs for which the arc expression is not given carry the expression (x,y,z). The initial marking of coloured places shows the total sum of tokens of any colour; e.g., there are 25 coloured tokens on the place LsrK, which tells us that the model configuration comprises here 25 bacteria. This model can be equally read as a coloured SPN or a coloured HPN

Back to article page