Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Figure 6

Message chart of polling process.