@PhDThesis{DAp07,
author={D. D'Aprile},
title={Timed and Stochastic Model Checking of Petri Nets},
school={Dipartimento di Informatica, University of Torino},
year={2007},

type={},
address={},
month={},
note={},
key={}
}