1. Interval timed coloured petri nets and their analysis;van der Aalst;Lect. Notes Comput. Sci.,1993
2. Timed petri nets and BQOs;Abdulla;Appl. Theory Petri Nets Lect Notes Comput. Sci.,2001
3. On petri nets with stochastic timing;Marsan,1985
4. Quantifying process equivalence based on observed behavior;de Medeiros;Data Knowl. Eng. J.,2008
5. Verification of liveness properties on closed timed-arc petri nets;Andersen,2013