@incollection{BouyerHaddadReynier:06,
    Author = {Bouyer, Patricia and Haddad, Serge and Reynier, Pierre-Alain},
    BookTitle = {Automata, Languages and Programming},
    Editor = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo},
    File = {Timed Petri Nets and Timed Automata On the Discriminating Power of Zeno Sequences - Bouyer, Haddad, Reynier (0) (1) - a - a - g.pdf},
    ISBN = {978-3-540-35907-4},
    Keywords = {timed automata and Petri nets and timed Petri nets},
    Pages = {420--431},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences},
    URL = {http://dx.doi.org/10.1007/11787006\_36},
    Volume = {4052},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11787006\_36},
    date-added = {2012-09-20 09:27:22 +0200},
    date-modified = {2015-03-26 16:54:20 +0000},
    doi = {10.1007/11787006_36}
}

@incollection{BouyerHaddadReynier:06, Author = {Bouyer, Patricia and Haddad, Serge and Reynier, Pierre-Alain}, BookTitle = {Automata, Languages and Programming}, Editor = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo}, File = {Timed Petri Nets and Timed Automata On the Discriminating Power of Zeno Sequences - Bouyer, Haddad, Reynier (0) (1) - a - a - g.pdf}, ISBN = {978-3-540-35907-4}, Keywords = {timed automata and Petri nets and timed Petri nets}, Pages = {420--431}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences}, URL = {http://dx.doi.org/10.1007/11787006_36}, Volume = {4052}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1007/11787006_36}, date-added = {2012-09-20 09:27:22 +0200}, date-modified = {2015-03-26 16:54:20 +0000}, doi = {10.1007/11787006_36} }