未找到相关数据
EPr／TN网系统及网络协议形式描述技术
被引：12
作者：
顾冠群
罗军舟
机构：
[1] 东南大学计算机科学系
来源：
关键词：
Petri网;
EPr／TN;
FDT;
AB协议;
D O I：
暂无
中图分类号：
TP393 [计算机网络];
学科分类号：
081201 ;
1201 ;
摘要：
本文形式定义了一种谓词／变迁网ＥＰｒ／ＴＮ网系统，作为网络协议的形式描述技术（ＦＤＴ），并用ＥＰｒ／ＴＮ形式描述了ＡＢ协议．
引用
收藏
页码：93 / 96
页数：4
相关论文