林闯,魏丫丫.随机进程代数与随机Petri网.软件学报,2002,13(2):203-213 |
随机进程代数与随机Petri网 |
Stochastic Process Algebras and Stochastic Petri Nets |
投稿时间:2001-05-25 修订日期:2001-09-26 |
DOI: |
中文关键词: 随机进程代数 随机Petri网 等价 合并 汇集性 |
英文关键词:stochastic process algebras stochastic petri nets equivalence composition lumpability |
基金项目:国家自然科学基金资助项目(69873012);国家重点基础研究发展规划973资助项目(G1999032707) |
|
摘要点击次数: 5642 |
全文下载次数: 4688 |
中文摘要: |
针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望. |
英文摘要: |
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. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |