%0 Journal Article %J Software Engineering, IEEE Transactions on %D 2003 %T Well-defined generalized stochastic petri nets: a net-level method to specify priorities %A E. Teruel %A G. Franceschinis %A M. Pierro %P 962-973 %V 29 %8 11