随机进程代数与随机Petri网

• 作者: 林闯 魏丫丫
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 随机进程代数 随机Petri网 等价 合并 汇集性
• 年，卷（期）: 2002,（2）
• 页码范围: 203-213
• 页数: 11页
• 分类号: TP18
• 字数: 9363字
• 语种: 中文

摘要

针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林闯	清华大学计算机科学与技术系	151	10702	46.0	102.0
2	魏丫丫	清华大学计算机科学与技术系	6	259	5.0	6.0