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

A Modeling of Stop-Wait Protocol Based on Petri-net

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

Petrie net is a wise choice to model and analyze communication protocol for its solid mathematical foundations explicit structures based on graphic. This paper describes communication protocol in the computer-net communication, and puts forward a Petri-net-based model.