标题：Modeling and verification of colored petri net in stop and wait protocol
作者：Wang, Li-Li ;Meng, Xiao-Jing ;Ni, Yang
作者机构：[Wang, Li-Li ;Meng, Xiao-Jing ] College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, China;[Ni, Yan 更多
会议名称：2010 International Conference on Computer Design and Applications, ICCDA 2010
会议日期：June 25, 2010 - June 27, 2010
来源：2010 International Conference on Computer Design and Applications, ICCDA 2010
摘要：Colored Petri Net has the characteristics of good readability, expand ability and graphic interface, it can control executive steps by simulation method. This paper analyzed stop-wait protocol using Colored Petri net. Firstly, the definition of Colored Petri net was introduced, then stop and wait protocol was described, finally, this paper modeled and analyzed stop and wait protocol using CPN, meanwhile, it simulated and evaluated the protocol by means of CPN Tools. © 2010 IEEE.