一种兼顾协议正确性验证和性能评估的Petri网方法

计算机科学 ›› 2005, Vol. 32 ›› Issue (12): 48-52.

• 软件工程与数据库技术 • 上一篇下一篇

一种兼顾协议正确性验证和性能评估的Petri网方法

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
基金项目：国家自然科学基金资助课题（60173053）.

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径，但是协议的形式化分析目前研究还不够深入，协议分析的两个重点内容正确性验证和性能评估所需要的模型不同，一种模型只能解决一方面的工作。为了有效地解决这一问题，文中提出了一种用原型Petri网作为协议验证模型的思路和方法，在不改变原型Petri网结构的基础上对变迁赋予发生时延，解决了协议的性能评估问题。本文还给出了协议验证内容与Petri网分析方法的对应关系，并对0-1停止等待协议进行了详细的分析，最后把0-1

关键词: 协议验证形式化分析时延Petri网协议性能评估 0-1停止等待协议

Abstract: 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

Key words: Protocol validation, Formal analysis, Timed Petri Net, Protocol performance evaluates, 0-1 stop and wait protocol

. 一种兼顾协议正确性验证和性能评估的Petri网方法[J]. 计算机科学, 2005, 32(12): 48-52. https://doi.org/