Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Figure 1

The net in initial state.