分布式系统中EFSM与Petri网的交叉式应用研究

• 作者: 罗冬梅 高建华
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 并发性 通信性 分布式系统 Petri网 EFSM CEFSM
• 年，卷（期）: 2004,（8）
• 所属期刊栏目: 网络与通信
• 页码范围: 109-111
• 页数: 3页
• 分类号: TP393.03
• 字数: 3495字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.08.042

摘要

由于面向对象的分布式系统的并发性和通信性特点,该文提出一种将Petri网和EFSM/CEFSM结合起来的方法,利用Petri网模型来分析分布式系统的并发性和通信性,并将基于EFSM的测试技术应用到Petri网建模的系统上.这样使得这两种技术的优势互补,从而便于对系统的性能进行研究.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高建华	上海师范大学数理信息学院	97	856	12.0	26.0
2	罗冬梅	上海师范大学数理信息学院	2	2	1.0	1.0