摘要
建立了GPIB高速数据传输协议的Petri网模型,用可达树方法分析了协议Petri网模型的动态性质,从而证明了协议的可靠性和合理性。
A novel method based on Petri nets for modeling GPIB high-speed data transfer protocol is proposed.
Dynamic properties of the protocol have been analyzed with the reachability tree, and the protocol has been
proved reliable and reasonable.
出处
《仪器仪表学报》
EI
CAS
CSCD
北大核心
2003年第z2期340-342,共3页
Chinese Journal of Scientific Instrument
关键词
高速数据传输协议
PETRI网
可达树
High-speed data transfer protocol
Petri nets
Reachability tree
