Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.

Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier

Browse the full ICALP paper archive.