首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 93 毫秒
1.
电子商务自动谈判是多主体协商的典型应用.谈判协议的形式化是实现电子商务谈判自动化的关键.给出一种带抑止弧和时间变迁的颜色Petri网模型及其扩展或然状态图分析方法.用该扩展颜色Petri网模型对拍卖谈判协议进行了建模,同时用扩展或然状态图分析方法证明了协议模型的可达性.  相似文献   

2.
刘建昆  宋文  周涛 《计算机应用》2013,33(4):1132-1135
利用原型Petri网对列车控制系统建模难于实现,用带抑止弧的增广Petri网则可以较好地描述问题。将带抑止弧的增广Petri网作为计算模型,对列车控制系统的一些关键问题进行了建模并给出了两个控制子系统:车站调度子系统与区间运行子系统。车站调度子系统实现了对列车请求进入和驶离车站的协调控制,区间运行子系统则实现了闭塞区间的车辆的安全性控制、突发事件时(如遭遇雷击,信号丢失的情况发生等)的安全性处理和公路铁路交叉口的调度等。最后,利用S-不变量对模型的活性、可达性和有界性等给予了形式化的验证。  相似文献   

3.
针对以往的时间Petri网对时钟同步系统描述能力不足的情况,提出了一种带弧标识的时钟同步Petri网(CSPN)。  相似文献   

4.
本文针对用户访问Web数据库的过程进行了分析并提出改进思路,然后利用带抑止弧的扩充Petri网对改进后的访问过程进行建模。  相似文献   

5.
类S—图的语言性质分析   总被引:14,自引:2,他引:14  
1 引言 Petri网作为系统模拟和分析的工具己得到广泛的应用。Petyi网一个变迁序列可理解为一个字符串,字符串集合为一种语言。所有可能发生的变迁序列的集合表征了一个Petri网的运行特征,可用网中可能出现的变迁序列来分析Petri网的性能。Hack和Peterson最早从事这方面的研究。Hack在文[3]中讨论了网模型的计算能力,指出带抑止弧增广Petri网与图灵机在计算能力上是等价的,从而充分显示了Petri网模型的表达能力。文[4]给出了并发正规表达式的概念,并证明了井发正规表达式与Petri网的语言描述能力等同。文[5]给出了Petri网语言与形式语言关系之间的一个清楚的刻画,并给出了从代数角度判别语言属性的充分必要条件。文[6]研究了语言的识别问题,并给出了基于网语言的网活性刻画。  相似文献   

6.
基于逻辑电路的Petri网化简方法   总被引:1,自引:0,他引:1  
叶剑虹  宋文  孙世新 《软件学报》2007,18(7):1553-1562
已有的Petri网化简方法需将网的局部结构与化简规则作逐一的比对,步骤较为繁琐,并且所提供的方法不适合于带抑止弧的网.采用一种与传统方法不同的化简思路,首先将网划分为若干个最大无圈子网,将每个最大无圈子网表达为若干个逻辑式.用逻辑代数来完成逻辑式的化简,最后将其结果还原为Petri网回嵌到原网中,完成整个网的化简.给出了寻找最大无圈子网、最大无圈子网的化简算法以及相关的证明.该方法将化简范围扩展到了带抑止弧的无回路的网或网的局部.  相似文献   

7.
以连续Petri网概念为基础,引入带弧权和禁止弧的扩展连续Petri网,将扩展连续Petri网作为工具对随机数生成器进行研究。选用随机数学中的乘同余法产生服从[0,1]均匀分布的随机变量,从而解决Petri网的规模因随机变量的精度增加而急剧增大的问题,针对某些逆变换法无法实现的分布,引入拒绝法,对现有的随机数发生器Petri网模型进行改进。  相似文献   

8.
信息物理融合系统(Cyber-Physical System,CPS)是一个集计算系统、通信系统、感知系统、控制系统和物理系统于一体的复杂系统,其行为是一种由离散计算过程与连续物理过程深度融合并紧密交互的混成行为。针对这种特性,采用混成Petri网对CPS建模,并在此基础上添加时间约束,即对离散变迁关联一个延迟时间,对连续变迁关联一个激发速率函数,同时引入抑止弧和测试弧的概念以提高Petri网的表达能力,由此提出一种新的模型——扩展混成Petri网模型。然后,对CPS应用中无人驾驶车辆系统的躲避障碍物场景进行建模,将建立的模型按照一定的规则转化为与之对应的Simulink模型,并通过Matlab仿真对系统行为及属性进行分析。  相似文献   

9.
张姝  江金龙 《计算机仿真》2007,24(12):101-104
时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型,可达性分析是Petri网模型最基本分析方法.基于"状态类(State-class)"的可达性分析方法不能正确计算并发情况下的时间延迟,而基于"带时间戳的状态类(CS-class)"的可达性分析方法不能正确处理冲突情况下的事件调度,因此提出了"扩展的带时间戳的状态类(ECS-class)"可达性分析方法.它不仅正确的计算时间延迟,而且合理地调度事件.并对一个时间Petri网模型进行可达性分析验证.  相似文献   

10.
本文用带抑制/容许弧的增广有色Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个事务访问多个共享资源。其中采用了2PL协议解决了数据库中并发所引起的数据不一致性,并采取了FIFO策略避免了2PL协议引起的活锁问题,且给出死锁检测方法。  相似文献   

11.
基于工业以太网实时协议的改进   总被引:1,自引:0,他引:1  
陆超  张曦煌 《计算机应用》2005,25(10):2250-2254
介绍了一种基于工业以太网的实时协议,参考Profibus DP现场总线技术,基于以太网数据链路层的逻辑链路控制子层提出了一种改进方案,在以太网上实现了Profibus DP的基本功能,使以太网适应实时通信的要求和能够应用于设备级,并且与已经存在的Profibus DP现场总线上的应用保持了连续性和兼容性。最后介绍了协议的实现和性能分析。  相似文献   

12.
基于高级Petri网的OSI网络协议描述与验证   总被引:4,自引:0,他引:4  
吴时霖  王利 《计算机学报》1994,17(8):588-595
本文对OSI参考模型进行了全面的分析,并介绍了一种高级Petri网,称为EPr/T网系统,该系统可作为OSI网络协议的形式描述工具,然后,利用EPr/T网系统对(N)层通信协议进行了形式描述,并阐明了OSI网络协议形式描述的一般方法。最后,对协议的有界性、活性和回归性等性质进行了验证。  相似文献   

13.
基于高级Petri网的OSI网络协议形式描述   总被引:2,自引:0,他引:2  
  相似文献   

14.
从Petri网到形式描述技术和协议工程   总被引:30,自引:0,他引:30  
罗军舟  沈俊  顾冠群 《软件学报》2000,11(5):606-615
  相似文献   

15.
对密码协议模型进行了分析,引入时延Petri网分析工具,建立了一种新的安全电子交易协议的形式描述工具。利用该分析工具对安全电子交易协议中的支付部分进行了形式描述,并分析了它的安全等问题。  相似文献   

16.
An important key challenge in Embedded Real Time Systems (ERTS) analysis is to provide a seamless scheduling strategy. Formal methods for checking the temporal characteristics and timing constraints at a high abstraction level have proven to be useful for making the development process reliable. In this paper, we present a Petri Net modeling formalism and an analysis technique which supports not only systems scheduling analysis but also the compositional specification of real time systems. The proposed Priority Time Petri Net gives determinism aspect to the model and accelerates its execution. Indeed, a compositional specification of a PTPN for complex application and multiprocessor architecture that solves the problem of hierarchy is presented.  相似文献   

17.
张姝  江金龙 《计算机仿真》2008,25(1):105-108
时间Petrl网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型.组件级化简方法是TPN模型常用的分析方法,在保持外部可观察时间特性的前提下,将组件TPN模型化简成一个很简单的TPN模型.然而它却失去了组件内部的性质,如冲突和并发等性质.文中引人延迟时间Petri网(DTPN),通过组件TPN模型向DTPN模型转化,使化简后模型既保持外部可观察时间特性,又保持组件内部的冲突和并发等性质.为了分析化简后的DTPN模型,文中还提出了一种新的DT-PN调度分析方法.最后通过对一个C2系统的组件TPN模型的分析实例,验证该方法的有效性.  相似文献   

18.
安全协议是实现网络安全的关键,如何验证安全协议的安全性是一个非常重要的工作。论文提出一种基于着色Petri网的安全协议形式化描述与安全验证方法,此方法建立在逆向状态分析和着色petri网可达性矩阵的基础之上,并采用具体协议来验证该方法的有效性。  相似文献   

19.
对数字家庭无线射频通信协议进行分解,给出协议各部分的流程。构造基于Petri网的通信协议模型,并在模型的基础上运用可达图方法分析协议Petri网模型的动态性质,从而验证协议的正确性,为进一步研究和应用该协议提供一种新的思路。  相似文献   

20.
Computer communication network architectures for cims are based on the OSI Reference Model.In this paper,CIMS network protocol model is set up on the basis of the corresqonding service model.Then the authors present a formal specification of transport protocols by using an extended Predicate/Transition net system that is briefly introduced in the third part.Finally,the general methods for the Petri nets based formal specification of CIMS network protocols are outlined.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号