Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Figure 5

Representation of system.