1. Introduction
A common way to model embedded systems uses a decomposition based on a controller that interacts with its environment. By using a synchronising signal (a global external clock), this interaction can be forced to happen at periodic points in time. These discrete event systems can be conveniently modelled by Petri nets and this fact has been known for quite a long time (see, for example, the article by Holloway et al. [6]). Notwithstanding this known adequacy, the number of code generators from Petri net models is extremely scarce as attested by the Petri Nets Tool Database [7].