Comparison of Different Semantics for Time Petri Nets.

Batrice Brard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

Browse the full ATVA paper archive.