@article {03_TFP_IToSE,
	title = {Well-defined generalized stochastic petri nets: a net-level method to specify priorities},
	journal = {Software Engineering, IEEE Transactions on},
	volume = {29},
	year = {2003},
	month = {11},
	pages = {962-973},
	author = {E. Teruel and G. Franceschinis and M. Pierro}
}

