Research Article
Modeling a Heterogeneous Embedded System in Coloured Petri Nets
Table 1
Colour set definitions.
| Colour set | Definition | Places |
| State | Unit withe | , , , , , , | Flag | BOOL | , | Frame | product STRING × INT × INT | | Target | INT | , | Frames | list Frame | , | Targets | list Target | |
|
|