Timed Petri nets and timed automata: On the discriminating power of zeno sequences

Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier. Timed Petri nets and timed automata: On the discriminating power of zeno sequences. Inf. Comput., 206(1):73-107, 2008. [doi]

Abstract

Abstract is missing.