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

Table 1

Colour declarations of the in Figure 3.

Declarations
//constants:
constant D = 5;	//the uniform size of all dimensions
constant  = D;	//the size of x-dimension
constant  = D;	//the size of y-dimension
constant  = D;	//the size of z-dimension
constant  = D/2;	//the middle point of any dimension
constant  = MID;	//the index of the first cluster in x-dir.
constant  = MID;	//the index of the first cluster in y-dir.
constant  = MID;	//the index of the first cluster in z dir.
constant  = 1,  = 1,  = 1;	//the distance between two clusters
constant L = 1, M = 1, P = 1;	//the number of the clusters in x, y and z dir.
constant K = 1, N = 1, Q = 1	//the number of the channel in x, y and z dir.
//colour sets:
colourset  = int with 1 to ;
colourset  = int with 1 to ;
colourset  = int with 1 to ;
colourset  = product (, , );
colourset  = int with 1 to L;
colourset  = int with 1 to M;
colourset  = int with 1 to P;
colourset  = int with 1 to K;
colourset  = int with 1 to N;
colourset  = int with 1 to Q;
colourset  = product (, , );	//C in , , means channel
colourset  = product (, , );
colourset  = product (, );
//variables:
variable , , ;	//grid positions in the x, y, and z directions
variable , , ;	//grid positions in the x, y, and z directions
variable , , ;	//cluster position in the x, y, and z directions
variable , , ;	//channel position in the x, y, and z directions
//functions
function IsNeighbour (x, y, z, a, b, c);