网络协议工程中的Petri网技术

• 作者: 冷淑霞 巨同升
• 来源期刊: 山东理工大学学报（自然科学版）
• 学科: 工学
• 关键词: 协议工程 协议形式描述 协议验证与分析 Petri网
• 年，卷（期）: 2005,（1）
• 页码范围: 84-87
• 页数: 4页
• 分类号: TP393
• 字数: 3201字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6197.2005.01.019

摘要

按照OSI/ RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冷淑霞	山东理工大学计算机教学部	9	20	2.0	4.0
2	巨同升	山东理工大学计算机教学部	27	24	3.0	3.0