Fig. 2
From: Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking
Diffusion as coloured Petri net. The initial marking sets 1000 tokens in the centre of the grid, specified by the constants M1, M2, and M3. The transition rate (not shown) follows the mass-action law with the kinetic parameter k.The size of the underlying unfolded Petri net is determined by the constants D1, D2, and D3; see Additional file 1: Figures S2–S4 for some examples. Additional file 1 also gives a complete self-contained textual specification of this coloured Petri net