Title: Advances in verification of time petri nets and timed automata
Subjects: Real-time control, Petri nets, Real-time data processing