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

被引：1

作者：

胡瑜

陈光(礻禹)

机构：

[1] 电子科技大学自动化工程学院,电子科技大学自动化工程学院成都,成都

来源：

关键词：

高速数据传输协议; Petri网; 可达树;

D O I：

10.19650/j.cnki.cjsi.2003.s2.152

中图分类号：

TP274 [数据处理、数据处理系统];

学科分类号：

0804 ; 080401 ; 080402 ; 081002 ; 0835 ;

摘要：

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

引用

页码：340 / 342

页数：3