Forward reachability analysis of timed Petri nets - PAROSH AZIZ ABDULLA; DENEUX, Johann; MAHATA, Pritha; NYLEN, Aletta (FORMATS 2004 : formal techniques, modelling and analysis of timed and fault-tolerant systems (Grenoble, 22-24 September 2004), 2004)
text