用Petri网验证一种令牌总线协议-计算机研究与发展1988年05期-手机知网

用Petri网验证一种令牌总线协议

华东工学院计算机系,华东工学院计算机系,华东工学院计算机系, ; | 吴意生吴永森兰少华

Petri网是一种对通信协议进行描述和验证的有用工具。本文在对Petri网进行简单介绍之后,用位置/转移网对一种令牌传送总线协议的简化模型进行了描述,并利用分而治之的思想对问题进行分解化简。最后,用线性不变量的方法对协议的正确性进行了证明。

机　构:

领　域:

计算机软件及计算机应用；

关键词:

Petri；点火序列；令牌总线；