A Petri-net based codesign system for real-time applications

The codesign approach proposed in this work not only takes multiprocessing into account but uses a single graphical representation during the whole design process. We propose the use of high-level timed Petri nets (HLTPNs) as the specification language and analysis model for hardware-software codesign. The reasoning behind this choice is explained.