一种基于CIPN的网络协议建模方法

• 作者: 彭磊 曾家智 毕亚雷
• 来源期刊: 计算机应用研究
• 关键词: 网络协议 离散事件系统 着色解释Petri网 协议工程
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 网络与通信技术
• 页码范围: 3430-3433
• 页数: 4页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.11.069

摘要

基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性.给出了CIPN的定义,并讨论了CIPN的运行机制,证明了CIPN事件可观测性的充要条件.通过一个MACA协议作为示例,完成了从网络协议的一般CPN模型到CIPN模型的等价性转换,并利用CIPN的事件可观测性定理对MACA协议进行了事件观测性分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾家智	电子科技大学计算机科学与工程学院	68	452	13.0	18.0
2	彭磊	电子科技大学计算机科学与工程学院	10	56	5.0	7.0
6	毕亚雷	中国科学院深圳先进技术研究院	4	14	2.0	3.0