GPIB高速数据传输协议的Petri网模型及分析

摘要：

建立了GPIB高速数据传输协议的Petri网模型,用可达树方法分析了协议Petri网模型的动态性质,从而证明了协议的可靠性和合理性.

关键词： 数据传输协议 Petri网 可达树

作者: 胡瑜 陈光(礻禹)

作者单位: 电子科技大学自动化工程学院(成都)

会议类型: 国内会议

会议名称: 第七届”测量与控制在资源节约、环境保护中的应用”学术会议

会议地点: 沈阳

会议语种:中文

页码: 340-342

在线出版日期: 2003-09-01（万方平台首次上网日期，不代表论文的发表时间）