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. 

References

Publications referenced by this paper.
SHOWING 1-10 OF 21 REFERENCES

An Object Oriented Petri Net Approach to Co - design

Nikil Dutt, Allem Wu, Steve Lin
  • Design Automationfor Embedded Systems
  • 1996

DesignlCPN. A reference manual

K. Jensen, S. Christensen, P. Huber, M. Holla
  • 1996
VIEW 1 EXCERPT

KIR - A graph-based model

Grimm, Christoph, Klaus Waldschmidt
  • 1996

On the false path problem in hard real-time programs

  • Proceedings of the Eighth Euromicro Workshop on Real-Time Systems
  • 1996

The SEA Language

E. Kleinjohann, J. Tacken
  • 1996
VIEW 1 EXCERPT