@inproceedings {251,
	title = {Operational Analysis of Timed Petri Nets},
	booktitle = {16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance{\textquoteright}93)},
	year = {1993},
	month = {09/1993},
	address = {Roma, Italy},
	author = {G. Chiola and J. Campos and J.M. Colom and M. Silva}
}

