Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. Comparison of Different Semantics for Time Petri Nets.
3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), Oct 2005, Taiwan, Taiwan. Copyright \beginrawhtmlSpringer\endrawhtml, 3707, pp.293--307, 2005.
〈inria-00368580〉