Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Table 2

Variables in model.

Variables	Colour set
n, t	INT
flag	BOOL
f	Frame
fl	Frames
target	INT
targets	Targets