1. Timed petri nets and BQOs;P A Abdulla;Proc. of ICATPN'01,2001
2. Automata for modelling real-time systems;D R Alur;Proc. of ICALP'90,1990
3. Modeling and verification of time dependent systems using time petri nets;M B Berthomieu;IEEE Trans. on Software Eng,1991
4. An enumerative approach for analyzing time petri nets;M B Berthomieu;Proc. of IFIP83,1983