Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.

Bernard Berthomieu Florent Peres François Vernadat Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. 82-97 2006 conf/formats/2006 FORMATS http://dx.doi.org/10.1007/11867340_7 db/conf/formats/formats2006.html#BerthomieuPV06