In: IEEE Computer Soc. Press, Proc. of 6th International Workshop on Petri Nets and Performance Models - PNPM'95, Durham, N. Carolina, USA, pages 148-157. 1995.
Abstract: In this paper we define a Stochastic Petri Net (SPN) semantics for Stochastic Process Algebras (SPAs), a recently introduced formalism that offers a novel approach for performance modeling. The proposed semantics is evaluated in terms of three criteria. Concurrency and Retrievability, as defined by Olderog for untimed net semantics, and Markov Equivalence for the stochastic aspects.