高性能网络协议的Petri网模型

• 作者: 伍俊明 周润芳 沈俊 罗军舟
• 来源期刊: 连云港化工高等专科学校学报
• 学科: 工学
• 关键词: 高性能协议 XTP PETRI网 形式化描述
• 年，卷（期）: 1999,（1）
• 页码范围: 1-6
• 页数: 6页
• 分类号: TQ-55

摘要

Petri网是协议形式化描述的优选模型．本文对高性能协议进行了深入的研究．并针对高性能协议更高的形式化描述要求．分别从语文、同步特征、模块化．层次比、对象化等方面进行了Petri同的特性分析．最后给出了用Petri网描述的快捷运输协议（XTP）的实例．