@inproceedings {250,
	title = {Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds},
	booktitle = {IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM{\textquoteright}93)},
	year = {1993},
	month = {10/1993},
	pages = {128-137},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	address = {Toulouse, France},
	isbn = {0-8186-4250-5},
	url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/93_CACCS_Toulouse.ps.gz},
	author = {G. Chiola and C. Anglano and J. Campos and J.M. Colom and M. Silva}
}

