Representation of Time Petri Nets using Interval Weighted Automata.

Brangre Daviaud, Sbastien Lahaye, Mehdi Lhommeau, Jan Komenda

Browse the full CoDIT paper archive.