基于Petri网的一种停止-等待协议的形式建模

摘要

基于Petri网的建模方法具有坚实的数学基础和直观的图形表示,是对通信协议建模和分析的理想工具。通过对计算机网络通信中的停止一等待协议的描述,提出一个基于Petri网的停止一等待协议的形式建模。

关键词

Petri网 / 停止-等待协议 / 帧