Modeling and Analyzing Sliding Window Protocol with Improved CPN Modeling Method
Sliding window protocol (SWP)is the most widely used flow and error control procedure in network HOW to describe its dynamic activity in a forlnal modeling way poses a considerable challenge to US.After analyzing the SWP,we proposed an improved Colored Petri Nets (CPN)model to show how this protocol works.The construction of the CPN model and its analysis are given in detail in this paper.Furthermore.Unlike traditional modeling method.CPN arc iuscriptions are fully used in our paper to represent system states and simplifv the model.so that our method is not only more automated and simpler than previously known CPN modeling method,but also thoroughly avoid the traditionally manual trouble of CPN hierarchy.
Sliding window (Colored Petri Nets)CPN modeling state space
Jinqi Zhu Ming Liu Jiazhi Zeng
国际会议
The International Conference Information Computing and Automation(2007国际信息计算与自动化会议)
成都
英文
1049-1052
2007-12-19（万方平台首次上网日期，不代表论文的发表时间）