1. An enumerative approach for analyzing time Petri nets;Berthomieu,1983
2. Discrete Event Systems: Modeling and Performance Analysis;Cassandras,1993
3. Petri Nets and Grafcet: tools For Modelling Discrete Event Systems;David,1992
4. A new approach to abstract reachability state space of time Petri nets;Klai K,2013
5. A more efficient time Petri net state space abstraction useful to model checking timed linear properties;Boucheneb;Fundam. Inform.,2008