Well-defined generalized stochastic Petri nets: a net-level method to specify priorities | IEEE Journals & Magazine | IEEE Xplore