可达树相关论文
众所周知,Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础,成为研究离散事件系统的建模工具之一。尽管众多学者对P......
智能机器人是一个对外界环境高度开放的智能系统,由一系列具有独立问题求解能力的子系统组合而成。机器人各子系统在自主地完成各......
水下无人探测器系统处于一种复杂的水下环境当中,系统仿真试验具有很大的难度。环境的限制和资金的巨大耗费导致对水下无人探测器的......
随着面向对象的软件开发技术的迅速发展和应用,面向对象的测试技术成为研究的热点问题。在面向对象软件中,由于类之间消息传递的复......
本文介绍了用Petri网描述协议的方法,给出了ISO传输层第三类协议的Petri网说明,并且利用可达树、可达图等分析工具对所给Petri网进......
研究了一种基于Petri网的协议辅助设计工具Peton的实现细节。该研究是对计算机辅助协议工程(CAPE)方法学的一种有益的尝试.
The implementation det......
我们利用Petri网描述协议的方法,对LAPD协议的连接建立过程进行了形式描述,然后对LAPD协议的有界性、活性和保守性等性质进行了验证。
We use the......
本文主要研讨了一类适应于通信协议的全局状态算法及协议的自稳定性。文中先论述了一种适应于协议全局状态的基本算法,讨论了该算法......
文中针对EPr/TN网在可达性分析时出现的冗余并发后继现象,从产生原因入手,给出一种解决算法.并由此深入研究这种扩展Petri网固有的不完备性,最后提......
数据键路层位于网络体系结构第二层,向网络层提供统一界面。利用Petri网对基本的数据链路层协议建模。根据变迁设定原则,将逻辑状......
本文利用时间Petri网对FMS调度问题进行建模,满足约束条件的Petri网模型将调度问题限制在可行调度区域内.利用能够发现最优解的启......
在本文中给出一种硬件冗余容错计算机系统基于GSPN建模并进行可靠性评估的方法,该方法不必将GSPN同构成连续时间的马尔可夫链,我们......
本文利用着色Petri网的建模的方法和工具CPN Tool,建立了TCP协议数据传输过程的着色Petri网模型,得到模型的了可达树,通过可达......
双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一。Petri网是一种描述和验证密码协议的有效手段......
建立了GPIB高速数据传输协议的Petri网模型,用可达树方法分析了协议Petri网模型的动态性质,从而证明了协议的可靠性和合理性.......
该文是PETRI网在油站系统的设计,分析中的具体应用.介绍了用PETRI网描述系统的方法.给出了油站系统的几个关键功能模块的PETRI网说......
双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一.Petri网是一种描述和验证密码协议的有效手段.......
Petri网是一种系统设计和分析的工具,为了完成Petri网的各项分析,还需借助如可达树,矩阵方程,可达图等工具。本文将提出可达图的一种构造方法。......
并行测试技术对推动科学的发展起着重要作用,如今科学技术的发展和工程问题的解决都离不开并行处理技术。传统的串行测试方法和串行......
数据链路层位于网络体系结构第二层,向网络层提供统一界面.因此数据链路层协议的设计分析有着比较重要的意义.本文对一个基本的数......
任务调度是并行分布式计算机中最有挑战性的问题之一。如何合理有效地进行任务调度将直接影响到系统的并行效率。文中通过将任务图......
Petri网动态性质的考察一般基于网不变量(Net Invariants)和可达树(Reachability Tree).这两个概念已被扩展到高级Petri网中.高级P......
本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达树......
随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动......
并行测试拥有减少测试时间和降低测试成本的强大优势,正成为研究热点之一;首先介绍了并行测试的基本概念,针对在并行测试系统中由于多......
在对宝钢热轧步进梁控制系统深入分析研究的基础上,用Petri网理论建立了系统模型,并用关联矩阵法和可达树法对系统模型进行了分析,......
Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态......
Petri网的可达图和可达树都是用于分析Petri网的工具,文章将展示如何用可产完成Petri风的各项分析,并将可达图与可达树相比较,证明可达图是较可达树更......
Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自......
通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、......
本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的。然后,我们给出了网N与相应的标注可达树的相互......
摘要:随着软件规模的扩大和复杂度的增加,如何实现高效的软件测试,成为决定软件测试效率的关键。Petri网作为一种适合于描述异步并发......
在SOC中,往往利用已有的服务进行组合,产生用户需求的组合服务.为满足用户的需求,服务组合的模式可能是多种多样的.针对这一问题,......
可达树是Petri网性能分析的重要工具之一。本文在可达树和网结构的基础上,提出了一种分析与检测动态死锁的新方法,并给出了相应的算法。......
讨论了Petri网可达树的构造方法,给出了相应的算法和实现技术,对基于Petri网可达树的并发系统的动态性能分析具有一定的参考价值.......
随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题。而新型网络协议的描述与验证又成为研究的关键。引入Petri网络模......
数据链路层位于网络体系结构第二层,向网络层提供统一界面。利用Petri网对基本的数据链路层协议建模,根据变迁设定原则,将逻辑状态与......
由于随机Petri网的可达树在整个SPN模型的性能分析中占据着重要的位置.因此本文提出一种广度优先的算法来得到随机Petri网的可达树,......
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细......
文章在分析SIP会话交互过程的基础上,用petri网对该过程进行建模,根据petri模型所应具备的特性,通过可达树模型验证了SIP协议具有有界......
建立了GPIB高速数据传输协议的Petri网模型,用可达树方法分析了协议Petri网模型的动态性质,从而证明了协议的可靠性和合理性.......
制造系统的动态可靠性不仅取决于系统零部件的失效模式,还与零部件的失效顺序密切相关。针对现有随机失效序列可靠性研究方法的不足......
以前用着色Petri网验证协议,大多只验证了其正确性,采用着色Petri网对自行设计的基于PKI的动态身份认证系统的安全性进行了描述和......
根据着色Petri网的建模的方法和工具CPNT001.对TCP协议的连接建立模块建立了着色Petri网模型。得到了可达树,通过可达树的方法对协议......
存储结构及算法是Petri网仿真和自动化分析研究中的重要内容.Petri网是一种特殊的有向图,通过对图的存储问题进行研究,提出了一种......