Research Article

Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Table 1

Colour set definitions.

Colour set Definition Places

State Unit  withe , , , , , ,
Flag BOOL ,
Frame product  STRING × INT × INT
Target INT ,
Frames list  Frame ,
Targets list  Target