@inproceedings {BC-QEST-04,
	title = {On Performance Bounds for Interval Time Petri Nets},
	year = {2004},
	month = {9},
	pages = {50-59},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	author = {S. Bernardi and J. Campos}
}

