Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities

Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro. Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. IEEE Trans. Software Eng., 29(11):962-973, 2003. [doi]

Abstract

Abstract is missing.