A Petri net based timing model for hardware/software co-design of digital systems

We have recently proposed an extension to Petri nets in order to be able to directly deal with all aspects of embedded digital systems. This extension is meant to be used as an internal model of our co-design environment. After analyzing relevant related work, and presenting a short introduction to our extension as a background material we describe the details of the timing model we use in our approach, which is mainly based in Merlin´s time model. We conclude the paper by discussing an example of its usage.