一种基于Petri网通信协议的分析和验证

doi:10.3724/SP.J.1087.2005.0165

计算机应用 ›› 2005, Vol. 25 ›› Issue (01): 165-167.DOI: 10.3724/SP.J.1087.2005.0165

一种基于Petri网通信协议的分析和验证

王晶，樊晓桠，曹清

西北工业大学计算机学院

出版日期:2005-01-01 发布日期:2005-01-01

Analysis and validation of communication protocol based on Petri Net

WANG Jing, FAN Xiao-ya, CAO Qing

nstitute of Computer Science, Northwest Polytechnical University

Online:2005-01-01 Published:2005-01-01

摘要/Abstract

摘要：

基于一个PDA项目,介绍了自行设计的利用固定电话网进行信息传输的一套通信协议。用Petri网抽象描述了一系列代表性链路层协议模型,并借助Petri网模拟工具对模型进行修正和改进,得到可实际工程应用的协议模型。

关键词: Petri网, 通信协议, 冲突, 协议验证

Abstract:

Based on a PDA project, a communication protocol which communicated through PSTN was introduced. Then, a series of representative link layer protocol models using Petri net were described abstractly. By the direction of Petri net emulation tool, these models were modified and improved gradually. Finally, a protocol model which could be applied in the practical work was achieved.

Key words: Petri Net, communication protocol, conflict, protocol validation

中图分类号:

TP393.04

王晶，樊晓桠，曹清. 一种基于Petri网通信协议的分析和验证[J]. 计算机应用, 2005, 25(01): 165-167.

WANG Jing, FAN Xiao-ya, CAO Qing. Analysis and validation of communication protocol based on Petri Net[J]. Journal of Computer Applications, 2005, 25(01): 165-167.

[1]	史锦山, 李茹, 松婷婷. 基于区块链的物联网访问控制框架[J]. 计算机应用, 2020, 40(4): 931-941.
[2]	刘伟荣, 真虹. 基于区块链原理的集装箱共享模式下集装箱运输流程建模与仿真[J]. 计算机应用, 2019, 39(7): 2141-2147.
[3]	孙慧明, 杜玉越. 针对多并发三角形二度循环结构的过程模型挖掘方法[J]. 计算机应用, 2019, 39(3): 851-857.
[4]	刘明聪, 王娜. 支持中国墙策略的云组合服务信息流控制模型[J]. 计算机应用, 2018, 38(2): 310-315.
[5]	夏浩男, 戴胜华. 基于着色Petri网的无线闭塞中心安全加密[J]. 计算机应用, 2018, 38(12): 3476-3480.
[6]	王剑, 张志勇, 乔阔远. 降低相似度碰撞的证据融合方法[J]. 计算机应用, 2018, 38(10): 2794-2800.
[7]	张玮, 孙涛, 万晓云. 针对并行软件待测行为测试的模型化简方法[J]. 计算机应用, 2017, 37(5): 1276-1281.
[8]	刘燕丽, 徐振兴, 熊丹. 基于动态奖惩的分支策略的SAT完备算法[J]. 计算机应用, 2017, 37(12): 3487-3492.
[9]	明利, 李彤, 秦江龙, 郑明, 蒋旭东, 谢仲文. 面向软件即服务的负载均衡策略建模与分析[J]. 计算机应用, 2017, 37(1): 24-30.
[10]	邓昀, 李朝庆, 程小辉. 基于物联网的智能家居远程无线监控系统设计[J]. 计算机应用, 2017, 37(1): 159-165.
[11]	洪为伟, 徐政. 电力载波多联机空调通信系统的设计与开发[J]. 计算机应用, 2016, 36(8): 2187-2191.
[12]	连培昆, 李振龙, 荣建, 陈宁. 基于VISSIM微观交通仿真软件的导流岛机非冲突元胞自动机模型[J]. 计算机应用, 2016, 36(6): 1745-1750.
[13]	李云, 陈庞森, 孙山林. 基于近场通信认证的无线局域网无线接入协议的安全性设计[J]. 计算机应用, 2016, 36(5): 1236-1245.
[14]	黄光球, 何通, 陆秋琴. 基于随机函数Petri网的系统动力学关联分析模型[J]. 计算机应用, 2016, 36(12): 3262-3268.
[15]	周静娴, 胡志华. 自动化集装箱码头穿越式双自动堆码起重机调度优化[J]. 计算机应用, 2015, 35(9): 2673-2677.

一种基于Petri网通信协议的分析和验证

Analysis and validation of communication protocol based on Petri Net

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics