| 一种使用Petri网络模型验证协议的方法 |
| 蔡俊杰
|
| 2016-04-20
|
| 发表期刊 | 微型电脑应用
 |
| ISSN | 1007-757X
|
| 卷号 | 32期号:04页码:78-80 |
| 摘要 | 随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题。而新型网络协议的描述与验证又成为研究的关键。引入Petri网络模型,给出了一种协议验证的方法。通过描述Petri网络模型,该模型以其良好的直观性,为协议验证过程提供了极大的方便。并且提出了针对复杂的协议,可分解为若干个小部分,使用Petri模型,加之以有穷状态自动机和高级语言,可较完善地解决其描述和验证问题。所述的验证方法对于协议工程(protocol engineering)领域的研究,新的协议软件的产生,有着积极的推动作用。 |
| 关键词 | Petri网络模型
点火
状态变迁
可达树
|
| URL | 查看原文
|
| 语种 | 中文
|
| 原始文献类型 | 学术期刊
|
| 文献类型 | 期刊论文
|
| 条目标识符 | http://ir.library.ouchn.edu.cn/handle/39V7QQFX/60482
|
| 专题 | 国家开放大学广东分部
|
| 作者单位 | 肇庆广播电视大学
|
| 第一作者单位 | 国家开放大学广东分部
|
| 第一作者的第一单位 | 国家开放大学广东分部
|
推荐引用方式
GB/T 7714 |
蔡俊杰. 一种使用Petri网络模型验证协议的方法[J].
微型电脑应用,2016,32(04):78-80.
|
| APA |
蔡俊杰.(2016).一种使用Petri网络模型验证协议的方法.微型电脑应用,32(04),78-80.
|
| MLA |
蔡俊杰."一种使用Petri网络模型验证协议的方法".微型电脑应用 32.04(2016):78-80.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论