基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的建模

被引：5

作者：

郭希民

吴哲辉

孙锐

不详

机构：

[1] 山东科技大学信息学院

[2] 山东科技大学信息学院山东泰安

[3] 山东泰安

来源：

关键词：

时间Petri网; 抑止弧; 网络协议; IEEE802.2 LLC 3型协议;

D O I：

暂无

中图分类号：

TP391.9 [计算机仿真];

学科分类号：

080203 ;

摘要：

该文定义了一种扩展的时间Petri网———带抑止弧的时间Petri网,这类扩展的时间Petri网可以用作网络协议描述的工具。作为一个例子,笔者在对IEEE802.2LLC3型协议做简单分析的基础上,给出了一个基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的形式描述。

引用

页码：45 / 48

页数：4