# 2 Towards a Complete Design Method for Embedded Systems Using Predicatetrransition-Nets

@inproceedings{20132TA, title={2 Towards a Complete Design Method for Embedded Systems Using Predicatetrransition-Nets}, author={}, year={2013} }

- Published 2013

In this paper, we present a new approach to embedded system design based on modeling discrete and also continuous system parts with high level Petri-Nets. Our investigations concentrate on a complete design flow, analysis on high level Petri-Nets and their meaning for hardware/software partitioning of real-time embedded systems. The concepts for hybrid modeling of discrete and continuous systems are applied in an example in the domain of mechatronic systems.