手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
用Petri网验证一种令牌总线协议
Petri网是一种对通信协议进行描述和验证的有用工具。本文在对Petri网进行简单介绍之后,用位置/转移网对一种令牌传送总线协议的简化模型进行了描述,并利用分而治之的思想对问题进行分解化简。最后,用线性不变量的方法对协议的正确性进行了证明。
0 35
手机阅读本文
下载APP 手机查看本文
计算机研究与发展
1988年05期
相似文献
图书推荐
相关工具书

搜 索