Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach - Penczek, Wojciech; Polrola, Agata; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006)
Keywords: Petri nets; Real-time control; Real-time data processing