Well-defined generalized stochastic petri nets: a net-level method to specify priorities | Publicación