| 摘要: |
| 针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望. |
| 关键词: 随机进程代数 随机Petri网 等价 合并 汇集性 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(69873012);国家重点基础研究发展规划973资助项目(G1999032707) |
|
| Stochastic Process Algebras and Stochastic Petri Nets |
|
LIN Chuang,WEI Ya-ya
|
| Abstract: |
| This is a review paper about the basic model approaches and model characteristics as well as the recent works on SPA. In this paper, the difference and similarities about SPA and SPN are compared and the approach of translating SPA into the SPN semantics and exploiting SPA achievements for SPN are discussed. At the end of this paper, some research directions and open problems are presented in this area. |
| Key words: stochastic process algebras stochastic petri nets equivalence composition lumpability |
