@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} }