基于Petri网的异构协议转换的构造 被引量：5

1

作者 费翔 罗军舟 +2 位作者 王军 吴介一 顾冠群 《计算机研究与发展》 EI CSCD 北大核心 1999年第3期320-324,共5页

异构网络由于协议的不兼容造成异构网络应用进程之间难以通信，因此异构网络集成是当前网络工程所面临的困难之一．协议转换是实现异构网络互联的关键技术．文中首先给出协议转换的基本概念，并简述传统的协议转换方法．在此基础上，文... 异构网络由于协议的不兼容造成异构网络应用进程之间难以通信，因此异构网络集成是当前网络工程所面临的困难之一．协议转换是实现异构网络互联的关键技术．文中首先给出协议转换的基本概念，并简述传统的协议转换方法．在此基础上，文中给出了基于Ｐｅｔｒｉ网的协议转换的定义，并利用Ｐｅｔｒｉ网的Ｔ不变量技术和并行组合积技术，按照自底向上的方法，提出了基于Ｐｅｔｒｉ网的协议转换器的构造算法及其证明，最后通过实例验证了其正确性和可行性． 展开更多

关键词 计算机网络 协议转换 petri网 异构网络

在线阅读 下载PDF 职称材料

多元化网络管理协议的Petri网模型及其验证(英文) 被引量：3

2

作者 赵建立 商瑞强 +1 位作者 赵林亮 王光兴 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第7期1664-1666,1698,共4页

介绍了一种新型的卫星网网络管理协议,并阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S_不变量分析和T_不变量分析对此协议进行了逻辑正确性验... 介绍了一种新型的卫星网网络管理协议,并阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S_不变量分析和T_不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础。 展开更多

关键词 多元化网络管理协议 petri网 可达性分析 S_不变量分析 T_不变量分析

在线阅读 下载PDF 职称材料

基于高级Petri网的OSI网络协议描述与验证 被引量：4

3

作者 吴时霖 王利 《计算机学报》 EI CSCD 北大核心 1994年第8期588-595,共8页

本文对ＯＳＩ参考模型进行了全面的分析，并介绍了一种高级Ｐｅｔｒｉ网，称为ＥＰｒ／Ｔ网系统，该系统可作为ＯＳＩ网络协议的形式描述工具．然后，利用ＥＰｒ／Ｔ网系统对（Ｎ）层通信协议进行了形式描述，并阐明了ＯＳＩ网络协议形... 本文对ＯＳＩ参考模型进行了全面的分析，并介绍了一种高级Ｐｅｔｒｉ网，称为ＥＰｒ／Ｔ网系统，该系统可作为ＯＳＩ网络协议的形式描述工具．然后，利用ＥＰｒ／Ｔ网系统对（Ｎ）层通信协议进行了形式描述，并阐明了ＯＳＩ网络协议形式描述的一般方法．最后，对协议的有界性。 展开更多

关键词 petri网 OSI网络协议 通信协议

在线阅读 下载PDF 职称材料

用Petri网对点击拨号业务的建模 被引量：2

4

作者 朱晓民 廖建新 +1 位作者 王鹏 王剑斌 《电子与信息学报》 EI CSCD 北大核心 2006年第3期551-556,共6页

该文提出一种将协议转换方法学和Petri网理论相结合来研究应用层协议转换的新方法。按照协议转换方法学的流程,对IIN(Internet Intelligent Network)模型中的点击拨号(CTD)业务进行分析。在用Petri网对CTD业务的建模过程中提炼出通用的P... 该文提出一种将协议转换方法学和Petri网理论相结合来研究应用层协议转换的新方法。按照协议转换方法学的流程,对IIN(Internet Intelligent Network)模型中的点击拨号(CTD)业务进行分析。在用Petri网对CTD业务的建模过程中提炼出通用的Petri网模型协议转换耦合原则,丰富了协议转换方法学的内容。利用Petri网的分析能力分析了CTD业务协议转换模型的特性,达到了检错纠错的目的。在该方法的指导下开发了业务控制网关(SCGF) 和CTD业务,证明了这种新方法的可行性和适用性。 展开更多

关键词 协议转换方法学 petri网 点击拨号业务 智能网 互通

在线阅读 下载PDF 职称材料

移动环境下订阅分发协议的随机Petri网模型 被引量：1

5

作者 曹怀虎 张艳梅 牛娃 《计算机工程与应用》 CSCD 北大核心 2008年第3期124-127,共4页

针对移动环境下订阅分发服务的需求,提出了基于位置的订阅分发协议(LBPSP)。应用高级Petri网对LBPSP协议的核心操作进行建模,并对协议的正确性与异常处理完备性进行了验证。

关键词 移动计算 位置感知 订阅分发协议 petri网 网络仿真

在线阅读 下载PDF 职称材料

虚拟接口体系结构的Petri网模型及分析 被引量：1

6

作者 沙静 蒋昌俊 《系统仿真学报》 CAS CSCD 2003年第z1期69-70,共2页

随着计算机硬件的发展,网络硬件支持Gb/s的带宽已成为现实。但是由于分层网络软件频繁的系统调用和内存-内存拷贝,物理层和应用层之间形成性能鸿沟。虚拟接口体系结构是一种崭新的机群系统内部通信思想,它为用户提供了一个直接与网络相... 随着计算机硬件的发展,网络硬件支持Gb/s的带宽已成为现实。但是由于分层网络软件频繁的系统调用和内存-内存拷贝,物理层和应用层之间形成性能鸿沟。虚拟接口体系结构是一种崭新的机群系统内部通信思想,它为用户提供了一个直接与网络相联系的虚拟接口,使操作系统不参与进程双方的通信过程,大大提高了通信效率。首先介绍了虚拟接口体系结构,然后为Berkeley模型建立了Petri网模型,通过模型对其工作模式进行分析,并对其中存在的活锁问题给出了具有实际意义的解决方法。 展开更多

关键词 petri网 用户层网络 通信协议 虚拟接口体系结构

在线阅读 下载PDF 职称材料

网络传输层协议的随机Petri网模型及性能分析 被引量：1

7

作者 詹柔莹 《电子科技大学学报》 EI CAS CSCD 北大核心 2001年第1期13-16,共4页

描述了广义随机高级Petri网(GHLSPN)在计算机网络传输协议的模型与性能评价中的作用, 并对影响网络性能的系统指标进行了讨论；同时考虑了确认控制、窗口流控制和错误重传控制等机制对网络系统的性能影响，克服了以往对网络性能评估的... 描述了广义随机高级Petri网(GHLSPN)在计算机网络传输协议的模型与性能评价中的作用, 并对影响网络性能的系统指标进行了讨论；同时考虑了确认控制、窗口流控制和错误重传控制等机制对网络系统的性能影响，克服了以往对网络性能评估的某些局限。 展开更多

关键词 petri网 计算机网络 网络传输层协议 网络模型

在线阅读 下载PDF 职称材料

基于对象Petri网的网络认证协议表示及分析

8

作者 刘东喜 赵玉源 +1 位作者 李小勇 白英彩 《计算机工程》 CAS CSCD 北大核心 1999年第S1期159-160,178,共3页

提出用对象Petri网表示网络认证协议的方法。这种方法能反映协议的动态特性，也利于体现协议执行主体可利用的资源。最后，总结出可把协议的安全性问题转化为Petri网单个位置的1-可达性问题。

关键词 网络认证协议 对象petri网 RSA

在线阅读 下载PDF 职称材料

从协议Petri网到Estelle的转换

9

作者 罗军舟 杨晓燕 《系统仿真学报》 CAS CSCD 2003年第z1期78-82,共5页

Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用。而Estelle类似于程序语言,可对协议进行无二义的描述。本文针对现有Petri网... Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用。而Estelle类似于程序语言,可对协议进行无二义的描述。本文针对现有Petri网系统的不足,从协议形式描述的角度出发,定义了一种抽象通信特性的协议Petri网,给出了由协议Petri网转换为Estelle形式的方法。基于此方法文章还构造了自动实现转换的算法,并给出了一个实例。 展开更多

关键词 协议petri网 ESTELLE 形式描述技术之转换 协议描述

在线阅读 下载PDF 职称材料

基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现

10

作者 沈金龙 潘理 孙亚民 《南京理工大学学报》 EI CAS CSCD 1998年第6期532-535,共4页

在构造 X.2 5 / FR互连网关时 ,采用 OSI有关协议。利用一种高级 Petri网(EPr/ TN)作为形式化的描述工具建立互连网关的系统模型 ,对网关中的协议转换和数据通信过程进行描述、分析和验证 。

关键词 网络互连 网关 协议 petri网 EPr/TN网系统

在线阅读 下载PDF 职称材料

基于Petri网的MMS服务描述、验证及实现

11

作者 费翔 顾冠群 吴介一 《东南大学学报（自然科学版）》 EI CAS CSCD 1997年第2期83-89,共7页

利用Ｐｅｔｒｉ网这一形式化描述工具建立了ＭＭＳ（制造报文规范）体系结构的抽象模型，并利用Ｐｒ／Ｔ网对其中的重要服务——程序唤醒服务进行了描述、分析和验证，最后，以此为基础在ＭＡＰ、ＢＩＴＢＵＳ网上实现了ＭＭＳ服务。

关键词 petri网 计算机集成制造 制造报文规范 Pr/T网

在线阅读 下载PDF 职称材料

一种星载多协议交互网络设计

12

作者 段维铭 张鹏 +2 位作者 王丁丁 许振龙 谭超 《航天器工程》 北大核心 2025年第2期104-112,共9页

针对目前卫星系统高中低速接口难以互接、多类型数据源难以拓展,以及各接口协议并存现状难以满足当下各类在轨任务向多层次、高速率、大数据发展需要的问题,设计一种星载多协议交互网络。该网络硬件架构以高速信息交换器为核心,应用串行... 针对目前卫星系统高中低速接口难以互接、多类型数据源难以拓展,以及各接口协议并存现状难以满足当下各类在轨任务向多层次、高速率、大数据发展需要的问题,设计一种星载多协议交互网络。该网络硬件架构以高速信息交换器为核心,应用串行RapidIO(SRIO)SWITCH芯片与协议转换控制FPGA芯片实现了1553B和SpaceWire等星上总线的互联,在更好地发挥系统可拓展性的同时实现了具有灵活互通的多协议转换传输模式。对文章提出的网络设计进行协议转换与传输速率验证,结果表明:该设计使具有不同速率、不同来源、不同类型特点的数据在星载环境下能够得到更有效、更便捷的部署,具有一定的参考价值。 展开更多

关键词 星载网络 多协议交互 高速信息交换器 多协议转换

在线阅读 下载PDF 职称材料

基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的建模 被引量：5

13

作者 郭希民 吴哲辉 孙锐 《计算机工程与应用》 CSCD 北大核心 2003年第35期45-48,共4页

该文定义了一种扩展的时间Petri网———带抑止弧的时间Petri网,这类扩展的时间Petri网可以用作网络协议描述的工具。作为一个例子,笔者在对IEEE802.2LLC3型协议做简单分析的基础上,给出了一个基于带抑止弧时间Petri网的IEEE802.2LLC3... 该文定义了一种扩展的时间Petri网———带抑止弧的时间Petri网,这类扩展的时间Petri网可以用作网络协议描述的工具。作为一个例子,笔者在对IEEE802.2LLC3型协议做简单分析的基础上,给出了一个基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的形式描述。 展开更多

关键词 时间petri网 抑止弧 网络协议 IEEE802.2 LLC 3型协议

在线阅读 下载PDF 职称材料

Petri网在帧中继与X.25协议转换中的应用 被引量：3

14

作者 黄晨炜 沈金龙 《南京邮电学院学报》 1997年第4期8-13,共6页

提出了一种用Ｐｅｔｒｉ网研究两种协议转换的方法。在两个协议提供原语的基础上，利用Ｐｅｔｒｉ网丰富的描述特性建立转换模型，与用有限状态机建立转换模型相比，简化了过程。在Ｐｅｔｒｉ网的基础上，利用图论方法论证其正确性。最... 提出了一种用Ｐｅｔｒｉ网研究两种协议转换的方法。在两个协议提供原语的基础上，利用Ｐｅｔｒｉ网丰富的描述特性建立转换模型，与用有限状态机建立转换模型相比，简化了过程。在Ｐｅｔｒｉ网的基础上，利用图论方法论证其正确性。最后，用这种方法分析了Ｘ２５与帧中继之间的协议转换，并建立转换模型。 展开更多

关键词 协议转换 协议变换器 petri网 X.25帧中继

在线阅读 下载PDF 职称材料

WAP协议栈总体设计及WTP层的Petri网描述与实现

15

作者 刘勇兵 张大波 王光兴 《小型微型计算机系统》 CSCD 北大核心 2003年第9期1686-1688,共3页

简介了 WAP协议并设计了实现该协议的总体方案 ,然后用 petri网的有关理论对 WTP层进行了描述 ,最后具体实现了

关键词 WAP协议 通信 网络 petri 协议栈

在线阅读 下载PDF 职称材料

基于着色Petri网的Web合成服务会话协议

16

作者 黄超白 黄上腾 《计算机工程与应用》 CSCD 北大核心 2005年第4期143-145,181,共4页

基于着色Petri网的会话协议不仅能准确地描述Web服务的业务流程特征,而且具备强大的数据承载能力。该文以BPEL4WS语言为例,在对Web服务特性进行分析的基础上,给出了基于着色Petri网的会话协议以及相应的Web合成服务设计方法。通过这种框... 基于着色Petri网的会话协议不仅能准确地描述Web服务的业务流程特征,而且具备强大的数据承载能力。该文以BPEL4WS语言为例,在对Web服务特性进行分析的基础上,给出了基于着色Petri网的会话协议以及相应的Web合成服务设计方法。通过这种框架,可以运用成熟的Petri网技术,对Web服务模型进行进一步的分析和验证,以提高服务的正确性和可靠性。 展开更多

关键词 WEB服务 BPEL4WS 着色petri网 会话协议

在线阅读 下载PDF 职称材料

基于Petri网的IPv4到IPv6协议转换分析

17

作者 符海波 郑红 罗笑南 《计算机应用与软件》 CSCD 2011年第12期105-107,187,共4页

应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。

关键词 petri网 协议转换 可达图

在线阅读 下载PDF 职称材料

协议通信有限状态机模型和协议Petri网模型的变换

18

作者 徐志农 《暨南大学学报（自然科学与医学版）》 CAS CSCD 1993年第3期23-26,共4页

协议的通信有限状态机模型和协议的Pctri网模型之间可以进行功能上等价的变换,给出了变换算法和实例。

关键词 计算机网络 通信协议 petri网

在线阅读 下载PDF 职称材料

基于CPN的车载网络无证书匿名认证和密钥协商方案研究 被引量：5

19

作者 郑路 冯涛 苏春华 《通信学报》 EI CSCD 北大核心 2024年第6期101-116,共16页

为了解决现有车载网络的认证方案中普遍存在密钥托管带来的缺陷,以及没有考虑计算受限电子控制单元(ECU)轻量级部署和安全快速认证的问题,首先,针对计算不受限的ECU网络,提出了一种无双线性配对的轻量级无证书匿名认证和密钥协商方案,... 为了解决现有车载网络的认证方案中普遍存在密钥托管带来的缺陷,以及没有考虑计算受限电子控制单元(ECU)轻量级部署和安全快速认证的问题,首先,针对计算不受限的ECU网络,提出了一种无双线性配对的轻量级无证书匿名认证和密钥协商方案,该方案通过椭圆曲线密码体制安全构建认证密钥对,通过哈希函数和异或等轻量级方法实现匿名认证和密钥协商。然后,针对计算受限的ECU网络,提出了一种无证书批量验证方案来降低认证成本。最后,提出了一种基于有色Petri网(CPN)和Dolev-Yao攻击者模型的安全验证方法,对整体方案进行形式化安全性评估。安全评估和性能分析表明,所提方案能有效抵抗重放、伪装、篡改、已知密钥、已知特定会话临时信息攻击等多种不同类型的攻击,在保证多重安全属性的同时有较小的计算与通信成本。 展开更多

关键词 车载网络 安全协议 认证与密钥协商 有色petri网 形式化验证

在线阅读 下载PDF 职称材料

基于硬件架构的RDIU协议转换器设计

20

作者 金志威 王泽彬 王鹏 《仪表技术与传感器》 CSCD 北大核心 2024年第8期30-38,108,共10页

远程数据接口单元(RDIU)在飞机中负责完成协议转换工作,使远端传感器和作动器等多种协议的子系统连接到飞机主干网络,形成混杂机载网络构型。已有的RDIU协议转换技术存在参与转换的协议不全面、转换周期较长、数据实时性差等问题。文中... 远程数据接口单元(RDIU)在飞机中负责完成协议转换工作,使远端传感器和作动器等多种协议的子系统连接到飞机主干网络,形成混杂机载网络构型。已有的RDIU协议转换技术存在参与转换的协议不全面、转换周期较长、数据实时性差等问题。文中针对远程数据设备使用的UART、ARINC429、ARINC825总线协议与飞机全局数据AFDX总线协议提出了协议转换原理,完成了协议转换的硬件架构设计并使用硬件描述语言Verilog HDL完成了详细设计。仿真测试结果表明:文中设计可以正确完成多种协议的转换工作,硬件架构的实现提高了数据处理效率。 展开更多

关键词 RDIU 协议转换 混杂机载网络 硬件架构

在线阅读 下载PDF 职称材料