Stochastic Petri net semantics for stochastic process algebras

Stochastic Petri net semantics for stochastic process algebras
复制标题

DOI：
10.1109/pnpm.1995.524325
复制
发表时间：
1995-10
期刊：
Proceedings 6th International Workshop on Petri Nets and Performance Models
影响因子：
--
通讯作者：
M. Ribaudo
M. Ribaudo
中科院分区：
其他
文献类型：
--
作者：
M. Ribaudo

文献摘要

被引文献

相似文献

我们定义了随机进程代数(SPA)的随机Petri网(SPN)语义，这是最近引入的一种形式化方法，为性能建模提供了一种新的方法。根据Olderog(1987,1991)对无时间网语义定义的并发性和可检索性，以及随机方面的马尔可夫等价性，对所提出的语义进行了评估。
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.