The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets

Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani. The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets. IEEE Trans. Software Eng., 15(7):832-846, 1989. [doi]

Abstract

Abstract is missing.