期刊文献+

转报通信协议的Petri net描述和检验

DESCRIBING AND VERIFYING COMMUNICATION PROTOCOLS FOR MESSAGE-TRANSFER
下载PDF
导出
摘要 本文论述了作者引用和设计的用于微机转报网络的两个通信协议,并用Petri net进行描述和检验。分析结果表明:协议1适用于理想信道环境,协议2有广泛的实用性,在噪声信道环境下也能保持协议的合法性,网络不会出现死锁、死环。 In this paper two protocols are quoted and designed for message-transfer in microcomputer networks. They are also described and verifyed with Petri net. As a result of analysis, protocol 1 fits well with perfect channel, protocol 2 has wide applicability, no deadlock and deadloop in the networks with noise channel.
作者 郭代成
出处 《成都信息工程学院学报》 1989年第4期52-57,共6页 Journal of Chengdu University of Information Technology
关键词 气象通信 通信协议 计算机应用 Meteorological telecommunication, Telecommunication protocol, Computer applications.
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部