Thorsten Hummel, Wolfgang Fengler: 
Design of Embedded Control Systems Using Hybrid Petri Nets and Time Interval Petri Nets.

in: 
M. A. Adamski, A. Karatkevich, M. Wegrzyn (Eds.): 
Design of Embedded Control Systems.
ISBN 0-387-23630-9
Springer Berlin Heidelberg New York 2005
pp. 141-154


Abstract:
The paper describes the challenges of modeling embedded hybrid control systems at a higher 
abstraction level. It discusses the problems of modeling and analyzing such systems and 
suggests the use of hybrid Petri nets and time interval Petri nets. Modeling an exemplary 
embedded control system with a special hybrid Petri net class using an object-oriented 
modeling and simulation tool and the extension of hybrid Petri nets with the concept of 
time intervals for analyzing of time constraints shows the potential of this approach.

Key words:
Embedded Control Systems, Hybrid Petri Nets, Time Interval Petri Nets