Representation of Time Petri Nets using Interval Weighted Automata | IEEE Conference Publication | IEEE Xplore