Research Article

Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Figure 4

The model in deadlock.
943094.fig.004