EPr／TN网系统及网络协议形式描述技术

EPr／TN网系统及网络协议形式描述技术

顾冠群;罗军舟

【期刊名称】《计算机学报》

【年(卷),期】1994(017)A00

【摘要】本文形式定义了一种谓词／变迁网ＥＰｒ／ＴＮ网系统，作为网络协议的形式描述技术（ＦＤＴ），并用ＥＰｒ／ＴＮ形式描述了ＡＢ协议。

【总页数】4页(P93-96)

【作者】顾冠群;罗军舟

【作者单位】不详;不详

【正文语种】中文

【中图分类】TP393

【相关文献】

1.基于高级Petri网的OSI网络协议形式描述 [J], 顾冠群;罗军舟

2.计算机网络协议的形式描述风格 [J], 李腊元

3.基于EPr/TN网的异构协议转换器的构造 [J], 范小芹;曾建潮

4.基于EPr/TN网系统的异构网络集成研究 [J], 曾建潮;范小芹;谭瑛

5.计算机网络协议形式描述与验证的应用研究 [J], 李腊元

因版权原因，仅展示原文概要，查看原文内容请购买