학술논문
Stochastic Petri net semantics for stochastic process algebras
Document Type
Conference
Author
Source
Proceedings 6th International Workshop on Petri Nets and Performance Models Petri nets and performance models Petri Nets and Performance Models, 1995., Proceedings of the Sixth International Workshop on. :148-157 1995
Subject
Language
ISSN
1063-6714
Abstract
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 (1987, 1991) for untimed net semantics, and Markov equivalence for the stochastic aspects.