%0 Journal Article
%T Protocol Validation and Performance Evaluates Based on Petri Nets<br>一种兼顾协议正确性验证和性能评估的Petri网方法
%A FAN Hao
%A WU Zhe-Hui
%A ZENG Qing-Tian
%A <br>范昊
%A 吴哲辉
%A 曾庆田
%J 计算机科学
%D 2005
%I 
%X 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.
%K Protocol validation
%K Formal analysis
%K Timed Petri Net
%K Protocol performance evaluates
%K 0-1 stop and wait protocol<br>协议验证
%K 形式化分析
%K 时延
%K Petri
%K 网
%K 协议性能评估
%K 0-1停止等待协议
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F46CD572892DBE48&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=59906B3B2830C2C5&sid=B6DA1AC076E37400&eid=286FB2D22CF8D013&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=10