@incollection{TimedPetriNets:05,
    Author = {B{\'e}rard, B. and Cassez, F. and Haddad, S. and Lime, Didier and Roux, O.H.},
    BookTitle = {Proc. of ATVA'05},
    Editor = {Peled, Doron and Tsay, Yih-Kuen},
    File = {Comparison of Different Semantics for Time Petri Nets - Bérard, Cassez, Haddad, Lime, Roux (1) (0) - a - a - e.pdf},
    ISBN = {978-3-540-29209-8},
    Keywords = {timed Petri nets},
    Pages = {293--307},
    Publisher = {Springer Berlin Heidelberg},
    Series = {LNCS},
    Title = {Comparison of Different Semantics for Time Petri Nets},
    URL = {http://dx.doi.org/10.1007/11562948\_23},
    Volume = {3707},
    Year = {2005},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11562948\_23},
    date-added = {2012-09-20 15:05:12 +0200},
    date-modified = {2018-03-12 18:43:30 +0000},
    file-2 = {Comparison of Different Semantics for Time Petri Nets - Bérard, Cassez, Haddad, Lime, Roux (2) (0) - a - a - e.pdf},
    doi = {10.1007/11562948_23}
}

@incollection{TimedPetriNets:05, Author = {B{\'e}rard, B. and Cassez, F. and Haddad, S. and Lime, Didier and Roux, O.H.}, BookTitle = {Proc. of ATVA'05}, Editor = {Peled, Doron and Tsay, Yih-Kuen}, File = {Comparison of Different Semantics for Time Petri Nets - Bérard, Cassez, Haddad, Lime, Roux (1) (0) - a - a - e.pdf}, ISBN = {978-3-540-29209-8}, Keywords = {timed Petri nets}, Pages = {293--307}, Publisher = {Springer Berlin Heidelberg}, Series = {LNCS}, Title = {Comparison of Different Semantics for Time Petri Nets}, URL = {http://dx.doi.org/10.1007/11562948_23}, Volume = {3707}, Year = {2005}, bdsk-url-1 = {http://dx.doi.org/10.1007/11562948_23}, date-added = {2012-09-20 15:05:12 +0200}, date-modified = {2018-03-12 18:43:30 +0000}, file-2 = {Comparison of Different Semantics for Time Petri Nets - Bérard, Cassez, Haddad, Lime, Roux (2) (0) - a - a - e.pdf}, doi = {10.1007/11562948_23} }