@incollection{Roux08,
author = {Franck Cassez and Olivier H. Roux},
title = {From Time Petri Nets to Timed Automata},
booktitle = {Petri Net},
publisher = {IntechOpen},
address = {Rijeka},
year = {2008},
editor = {Vedran Kordic},
chapter = {11},
doi = {10.5772/5320},
url = {https://doi.org/10.5772/5320}
}