Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Figure 7

The ARM system’s CPN model.