Protocol Validation and Performance Evaluates Based on Petri Nets
一种兼顾协议正确性验证和性能评估的Petri网方法

Formal methods for the analysis of protocol based on Petri nets have been looked on a credible and exact way in protocol analysis.But now,the research on formal analysis of protocol is not thorough.Particularly,there is some conflict between protocol validation and evaluates.In this paper,we make a summary of the methods on protocol analy- sis based on Petri nets.Then we investigate the relationship between the protocol behavior and the properties of Petri nets.The most important is that we propose a new method about protocol analysis.This method gives a detail valida- tion of protocol using prototype Petri net.We ehange prototype Petri net into Timed Petri net,so the protocol per- formanee evaluates problem can be solved.As an example,we make a detail analysis of 0-1 stop-and-wait protocol u- sing Petri nets model and give evaluates the performance of it using TPN.