一种基于Petri网通信协议的分析和验证

• 作者: 曹清 樊晓桠 王晶
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: Petri网 通信协议 冲突 协议验证
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 网络与通信
• 页码范围: 165-167
• 页数: 3页
• 分类号: TP393.04
• 字数: 3277字
• 语种: 中文

摘要

基于一个PDA项目,介绍了自行设计的利用固定电话网进行信息传输的一套通信协议.用Petri网抽象描述了一系列代表性链路层协议模型,并借助Petri网模拟工具对模型进行修正和改进,得到可实际工程应用的协议模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王晶	西北工业大学计算机学院	32	334	9.0	17.0
2	樊晓桠	西北工业大学计算机学院	170	1393	17.0	29.0
3	曹清	西北工业大学计算机学院	2	19	2.0	2.0