Formal Description and Verification of TCP Protocol Based on Colored Petri Net
Li Fei · Modern Computer · 2009
According to the methods of building model in colored Petri net and CPN tool,reachability tree is abtained as well as building a formal model of connection construct model in TCP Protocol on colored Petri.By the method,reachability tree,the validity of the model in the TCP Protocol is verified.