Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets
Bernd Kleinjohann, Jürgen Tacken, C. Tahedl · 1997
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.