Research Article

A Graphical Approach for Hybrid Simulation of 3D Diffusion Bio-Models via Coloured Hybrid Petri Nets

Figure 3

The model of Intracellular Calcium in 3D. Stochastic channel processes are represented by the part on the right, while the continuous processes of the calcium dynamics are represented by the left part. The upper part at the center of the model represents the connection from the stochastic part to the continuous part, vice versa for the lower part at the center of the model. See Table 1 for all colour-related definitions. It is an extension of our model published in [33]. The meaning of arcs and nodes is illustrated in the legend and briefly described in Section 2. The colour code is as follows: dark red: colour set names, red: marking, blue: arc expressions, violet: guards, and black: node names.