排序方式： 共有1条查询结果，搜索用时 2 毫秒
1
1.
基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的建模 总被引：3，自引：0，他引：3
该文定义了一种扩展的时间Petri网———带抑止弧的时间Petri网,这类扩展的时间Petri网可以用作网络协议描述的工具。作为一个例子,笔者在对IEEE802.2LLC3型协议做简单分析的基础上,给出了一个基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的形式描述。 相似文献
1