期刊文献+
共找到39篇文章
< 1 2 >
每页显示 20 50 100
基于Petri网的异构协议转换的构造 被引量:5
1
作者 费翔 罗军舟 +2 位作者 王军 吴介一 顾冠群 《计算机研究与发展》 EI CSCD 北大核心 1999年第3期320-324,共5页
异构网络由于协议的不兼容造成异构网络应用进程之间难以通信,因此异构网络集成是当前网络工程所面临的困难之一.协议转换是实现异构网络互联的关键技术.文中首先给出协议转换的基本概念,并简述传统的协议转换方法.在此基础上,文... 异构网络由于协议的不兼容造成异构网络应用进程之间难以通信,因此异构网络集成是当前网络工程所面临的困难之一.协议转换是实现异构网络互联的关键技术.文中首先给出协议转换的基本概念,并简述传统的协议转换方法.在此基础上,文中给出了基于Petri网的协议转换的定义,并利用Petri网的T不变量技术和并行组合积技术,按照自底向上的方法,提出了基于Petri网的协议转换器的构造算法及其证明,最后通过实例验证了其正确性和可行性. 展开更多
关键词 计算机网络 协议转换 petri 异构网络
在线阅读 下载PDF
Observer-based quantised control of networked systems with round-robin protocol and transmission delay
2
作者 Ge Guo Xuefei Yan Jian Kang 《Journal of Control and Decision》 2025年第1期24-33,共10页
This paper addresses the ultimate boundedness control problem for a class of networked nonlinear systems with the round-robin(RR)protocol and uniform quantisation.The communication between sensor nodes and the control... This paper addresses the ultimate boundedness control problem for a class of networked nonlinear systems with the round-robin(RR)protocol and uniform quantisation.The communication between sensor nodes and the controller is implemented via a constrained communication channel.The quantised output of the system is transmitted to the remote controller through a communication channel subject to a transmission delay.For the purpose of alleviating possible data collision,the well-known RR communication protocol is deployed to schedule the data transmissions.On the other hand,the uniform quantisation effects of the network are characterised by a round function(i.e.the nearest integer function).The purpose of the addressed problem is to design an observer-based controller for the networked nonlinear systems such that,in the presence of RR protocol and uniform quantisation effects,the closed-loop system is ultimately bounded.The controller is designed based on mean square stability analysis and Lyapunov-like method.A set of sufficient conditions for the ultimate boundedness of the closed-loop system are established and,on the basis of which,the desired controller gains are obtained by solving a set of linear matrix inequalities.The effectiveness of the proposed method is verified by numerical examples. 展开更多
关键词 networked control systems(NCSs) round-robin(RR)protocol transmission delay uniform quantisation ultimate boundedness control
原文传递
基于高级Petri网的OSI网络协议描述与验证 被引量:4
3
作者 吴时霖 王利 《计算机学报》 EI CSCD 北大核心 1994年第8期588-595,共8页
本文对OSI参考模型进行了全面的分析,并介绍了一种高级Petri网,称为EPr/T网系统,该系统可作为OSI网络协议的形式描述工具.然后,利用EPr/T网系统对(N)层通信协议进行了形式描述,并阐明了OSI网络协议形... 本文对OSI参考模型进行了全面的分析,并介绍了一种高级Petri网,称为EPr/T网系统,该系统可作为OSI网络协议的形式描述工具.然后,利用EPr/T网系统对(N)层通信协议进行了形式描述,并阐明了OSI网络协议形式描述的一般方法.最后,对协议的有界性。 展开更多
关键词 petri OSI网络协议 通信协议
在线阅读 下载PDF
多元化网络管理协议的Petri网模型及其验证(英文) 被引量:3
4
作者 赵建立 商瑞强 +1 位作者 赵林亮 王光兴 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第7期1664-1666,1698,共4页
介绍了一种新型的卫星网网络管理协议,并阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S_不变量分析和T_不变量分析对此协议进行了逻辑正确性验... 介绍了一种新型的卫星网网络管理协议,并阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S_不变量分析和T_不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础。 展开更多
关键词 多元化网络管理协议 petri 可达性分析 S_不变量分析 T_不变量分析
在线阅读 下载PDF
用Petri网对点击拨号业务的建模 被引量:2
5
作者 朱晓民 廖建新 +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
6
作者 曹怀虎 张艳梅 牛娃 《计算机工程与应用》 CSCD 北大核心 2008年第3期124-127,共4页
针对移动环境下订阅分发服务的需求,提出了基于位置的订阅分发协议(LBPSP)。应用高级Petri网对LBPSP协议的核心操作进行建模,并对协议的正确性与异常处理完备性进行了验证。
关键词 移动计算 位置感知 订阅分发协议 petri 网络仿真
在线阅读 下载PDF
虚拟接口体系结构的Petri网模型及分析 被引量:1
7
作者 沙静 蒋昌俊 《系统仿真学报》 CAS CSCD 2003年第z1期69-70,共2页
随着计算机硬件的发展,网络硬件支持Gb/s的带宽已成为现实。但是由于分层网络软件频繁的系统调用和内存-内存拷贝,物理层和应用层之间形成性能鸿沟。虚拟接口体系结构是一种崭新的机群系统内部通信思想,它为用户提供了一个直接与网络相... 随着计算机硬件的发展,网络硬件支持Gb/s的带宽已成为现实。但是由于分层网络软件频繁的系统调用和内存-内存拷贝,物理层和应用层之间形成性能鸿沟。虚拟接口体系结构是一种崭新的机群系统内部通信思想,它为用户提供了一个直接与网络相联系的虚拟接口,使操作系统不参与进程双方的通信过程,大大提高了通信效率。首先介绍了虚拟接口体系结构,然后为Berkeley模型建立了Petri网模型,通过模型对其工作模式进行分析,并对其中存在的活锁问题给出了具有实际意义的解决方法。 展开更多
关键词 petri 用户层网络 通信协议 虚拟接口体系结构
在线阅读 下载PDF
网络传输层协议的随机Petri网模型及性能分析 被引量:1
8
作者 詹柔莹 《电子科技大学学报》 EI CAS CSCD 北大核心 2001年第1期13-16,共4页
描述了广义随机高级Petri网(GHLSPN)在计算机网络传输协议的模型与性能评价中的作用, 并对影响网络性能的系统指标进行了讨论;同时考虑了确认控制、窗口流控制和错误重传控制等机制对网络系统的性能影响,克服了以往对网络性能评估的... 描述了广义随机高级Petri网(GHLSPN)在计算机网络传输协议的模型与性能评价中的作用, 并对影响网络性能的系统指标进行了讨论;同时考虑了确认控制、窗口流控制和错误重传控制等机制对网络系统的性能影响,克服了以往对网络性能评估的某些局限。 展开更多
关键词 petri 计算机网络 网络传输层协议 网络模型
在线阅读 下载PDF
基于对象Petri网的网络认证协议表示及分析
9
作者 刘东喜 赵玉源 +1 位作者 李小勇 白英彩 《计算机工程》 CAS CSCD 北大核心 1999年第S1期159-160,178,共3页
提出用对象Petri网表示网络认证协议的方法。这种方法能反映协议的动态特性,也利于体现协议执行主体可利用的资源。最后,总结出可把协议的安全性问题转化为Petri网单个位置的1-可达性问题。
关键词 网络认证协议 对象petri RSA
在线阅读 下载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
从增强的LOTOS(E-LOTOS)说明到Petri网的转换
11
作者 李华 曹军 +2 位作者 陈月惠 石立新 李文 《内蒙古大学学报(自然科学版)》 CAS CSCD 1998年第2期264-271,共8页
E-LOTOS对LOTOS的描述能力进行了多方面增强,Petri网是分析系统的有效工具,本文提出一种从E-LOTOS说明到Petri网的转换方法。
关键词 LOTOS语言 E-LOTOS语言 petri
在线阅读 下载PDF
基于Petri网的MMS服务描述、验证及实现
12
作者 费翔 顾冠群 吴介一 《东南大学学报(自然科学版)》 EI CAS CSCD 1997年第2期83-89,共7页
利用Petri网这一形式化描述工具建立了MMS(制造报文规范)体系结构的抽象模型,并利用Pr/T网对其中的重要服务——程序唤醒服务进行了描述、分析和验证,最后,以此为基础在MAP、BITBUS网上实现了MMS服务。
关键词 petri 计算机集成制造 制造报文规范 Pr/T网
在线阅读 下载PDF
基于Petri网的带宽共享系统设计
13
作者 周鑫 宋文 +1 位作者 唐明伟 王开建 《绵阳师范学院学报》 2016年第2期83-90,139,共9页
针对局域内网单台计算机下载外网资源速度慢的问题,本文以Petri网为系统逻辑设计工具,提出一种基于P2P(Peer to Peer)分布式结构的外网带宽共享协议。该协议指定内网多台计算机在外网下载所需文件的不同片段,再由局域内网传输给任务发... 针对局域内网单台计算机下载外网资源速度慢的问题,本文以Petri网为系统逻辑设计工具,提出一种基于P2P(Peer to Peer)分布式结构的外网带宽共享协议。该协议指定内网多台计算机在外网下载所需文件的不同片段,再由局域内网传输给任务发起者所属计算机进行原文件整合。协议充分利用多台计算机的并行下载能力以及局域内网的快速传输能力,从逻辑层面提高了单台计算机的下行带宽。本文进一步通过基于Petri网的可达标志图,S_不变量和流程图方法对协议的逻辑正确性和行为许可性进行了验证。 展开更多
关键词 petri P2P网络 网络加速 带宽共享 文件传输协议 分布式
在线阅读 下载PDF
无线网络安全协议Kerberos的Petri网建模
14
作者 张婷 张鑫 张新刚 《软件导刊》 2017年第9期181-184,共4页
由于无线网络与移动设备的特点,无线网络安全协议的执行环境变得更为复杂。对比了网络安全协议WAP、IEE802.1X、EAP、WPA认证协议和Kerberos协议。Kerberos协议在身份委派和身份验证方面较为高效,成为常用的无线网络安全协议。Petri网... 由于无线网络与移动设备的特点,无线网络安全协议的执行环境变得更为复杂。对比了网络安全协议WAP、IEE802.1X、EAP、WPA认证协议和Kerberos协议。Kerberos协议在身份委派和身份验证方面较为高效,成为常用的无线网络安全协议。Petri网作为信息化建模仿真的常用工具,能以图形化、层次化的方式描述系统。在分析Kerberos协议工作原理的基础上,采用Petri网工具CPNTools对Kerberos协议进行建模与仿真,采用图形化方式,直观地表达了该协议特点。 展开更多
关键词 KERBEROS协议 无线网络安全协议 petri
在线阅读 下载PDF
基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的建模 被引量:5
15
作者 郭希民 吴哲辉 孙锐 《计算机工程与应用》 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
16
作者 黄晨炜 沈金龙 《南京邮电学院学报》 1997年第4期8-13,共6页
提出了一种用Petri网研究两种协议转换的方法。在两个协议提供原语的基础上,利用Petri网丰富的描述特性建立转换模型,与用有限状态机建立转换模型相比,简化了过程。在Petri网的基础上,利用图论方法论证其正确性。最... 提出了一种用Petri网研究两种协议转换的方法。在两个协议提供原语的基础上,利用Petri网丰富的描述特性建立转换模型,与用有限状态机建立转换模型相比,简化了过程。在Petri网的基础上,利用图论方法论证其正确性。最后,用这种方法分析了X25与帧中继之间的协议转换,并建立转换模型。 展开更多
关键词 协议转换 协议变换器 petri X.25帧中继
在线阅读 下载PDF
WAP协议栈总体设计及WTP层的Petri网描述与实现
17
作者 刘勇兵 张大波 王光兴 《小型微型计算机系统》 CSCD 北大核心 2003年第9期1686-1688,共3页
简介了 WAP协议并设计了实现该协议的总体方案 ,然后用 petri网的有关理论对 WTP层进行了描述 ,最后具体实现了
关键词 WAP协议 通信 网络 petri 协议栈
在线阅读 下载PDF
基于Petri网的战术互联网建模方法
18
作者 王青海 毕学军 +1 位作者 穆婷婷 张扬 《装备学院学报》 2013年第6期115-119,共5页
为了兼顾建模仿真的实时性和精确性,在分析战术互联网结构和特点的基础上,提出一种基于Petri网的战术互联网建模方法,并从网络吞吐量和端到端时延2个方面进行了试验验证,对比分析表明:该方法易于实现,实时性高,在数据分组发送速率较低... 为了兼顾建模仿真的实时性和精确性,在分析战术互联网结构和特点的基础上,提出一种基于Petri网的战术互联网建模方法,并从网络吞吐量和端到端时延2个方面进行了试验验证,对比分析表明:该方法易于实现,实时性高,在数据分组发送速率较低和节点运动速度较慢的情况下仿真精确度相对较高,能够较好地满足战术指挥模拟训练的需求。 展开更多
关键词 petri网模型 战术互联网 路由协议 网络时延
在线阅读 下载PDF
基于PETRI网的无线链路网MAC协议研究
19
作者 高巍 鲁五一 《可编程控制器与工厂自动化(PLC FA)》 2010年第4期79-82,56,共5页
本文提出了利用无线传感器网络对重载货物列车危险状态进行在线监测的新网络——无线链状网,并在无线自组网的通信协议基础上,提出适用无线链状网的MAC协议,并利用有色PETRI网对其进行了模型抽象、化简和性能分析。实验证明该MAC协议在... 本文提出了利用无线传感器网络对重载货物列车危险状态进行在线监测的新网络——无线链状网,并在无线自组网的通信协议基础上,提出适用无线链状网的MAC协议,并利用有色PETRI网对其进行了模型抽象、化简和性能分析。实验证明该MAC协议在无线链状网络通信中的有效性。 展开更多
关键词 petri 无线链路网 MAC协议
在线阅读 下载PDF
协议通信有限状态机模型和协议Petri网模型的变换
20
作者 徐志农 《暨南大学学报(自然科学与医学版)》 CAS CSCD 1993年第3期23-26,共4页
协议的通信有限状态机模型和协议的Pctri网模型之间可以进行功能上等价的变换,给出了变换算法和实例。
关键词 计算机网络 通信协议 petri
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部