Enrique Teruel Giuliana Franceschinis Massimiliano De Pierro Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. 962-973 2003 29 IEEE Trans. Software Eng. 11 http://csdl.computer.org/comp/trans/ts/2003/11/e0962abs.htm db/journals/tse/tse29.html#TeruelFP03