可达树相关论文
众所周知,Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础,成为研究离散事件系统的建模工具之一。尽管众多学者对P......
智能机器人是一个对外界环境高度开放的智能系统,由一系列具有独立问题求解能力的子系统组合而成。机器人各子系统在自主地完成各......
水下无人探测器系统处于一种复杂的水下环境当中，系统仿真试验具有很大的难度。环境的限制和资金的巨大耗费导致对水下无人探测器的......
随着面向对象的软件开发技术的迅速发展和应用,面向对象的测试技术成为研究的热点问题。在面向对象软件中,由于类之间消息传递的复......
我们利用Ｐｅｔｒｉ网描述协议的方法，对ＬＡＰＤ协议的连接建立过程进行了形式描述，然后对ＬＡＰＤ协议的有界性、活性和保守性等性质进行了验证。
We use the......
双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一.Petri网是一种描述和验证密码协议的有效手段.......
并行测试技术对推动科学的发展起着重要作用，如今科学技术的发展和工程问题的解决都离不开并行处理技术。传统的串行测试方法和串行......
Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文......
任务调度是并行分布式计算机中最有挑战性的问题之一。如何合理有效地进行任务调度将直接影响到系统的并行效率。文中通过将任务图......
本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达树......
随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动......
并行测试拥有减少测试时间和降低测试成本的强大优势，正成为研究热点之一；首先介绍了并行测试的基本概念，针对在并行测试系统中由于多......
在对宝钢热轧步进梁控制系统深入分析研究的基础上,用Petri网理论建立了系统模型,并用关联矩阵法和可达树法对系统模型进行了分析,......
Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态......
Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自......
摘要：随着软件规模的扩大和复杂度的增加，如何实现高效的软件测试，成为决定软件测试效率的关键。Petri网作为一种适合于描述异步并发......
在SOC中,往往利用已有的服务进行组合,产生用户需求的组合服务.为满足用户的需求,服务组合的模式可能是多种多样的.针对这一问题,......
讨论了Petri网可达树的构造方法,给出了相应的算法和实现技术,对基于Petri网可达树的并发系统的动态性能分析具有一定的参考价值.......
随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题。而新型网络协议的描述与验证又成为研究的关键。引入Petri网络模......
数据链路层位于网络体系结构第二层，向网络层提供统一界面。利用Petri网对基本的数据链路层协议建模，根据变迁设定原则，将逻辑状态与......
由于随机Petri网的可达树在整个SPN模型的性能分析中占据着重要的位置．因此本文提出一种广度优先的算法来得到随机Petri网的可达树，......
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细......
文章在分析SIP会话交互过程的基础上，用petri网对该过程进行建模，根据petri模型所应具备的特性，通过可达树模型验证了SIP协议具有有界......
制造系统的动态可靠性不仅取决于系统零部件的失效模式，还与零部件的失效顺序密切相关。针对现有随机失效序列可靠性研究方法的不足......
以前用着色Petri网验证协议,大多只验证了其正确性,采用着色Petri网对自行设计的基于PKI的动态身份认证系统的安全性进行了描述和......
根据着色Petri网的建模的方法和工具CPNT001．对TCP协议的连接建立模块建立了着色Petri网模型。得到了可达树，通过可达树的方法对协议......
采用数据结构的思想和一些算法,将C++中的一些优良特性应用到Matlab编程语言中,用Matlab编程语言编程实现了PetriNets的可达树的构......
Petri网是系统建模与分析的一种有力工具.但对于复杂或并行系统分析,由于状态爆炸问题,传统的可达分析方法存在一些不足,经常无法......
介绍了一般Petri网代数表示的基本定义,分析了赋时Petri网引入时间因素的两种方式.将面向对象建模技术融入到Petri网模型中,形成了......
针对目前安全分析方法通常只能给出导致系统失效的事件发生序列，而对系统运行过程中的一些时序、动态等因素考虑不足等问题，提出了基......
在介绍TCP协议基础上,根据有色Petri网的建模方法和工具CPN Tools,对TCP协议的连接建立模块建立了有色Petri网模型,得到模型的可达......
并行测试技术对推动科学的发展起着重要作用,如今科学技术的发展和工程问题的解决都离不开并行处理技术。传统的串行测试方法和串......
随着科学技术的现代化和工农业生产的规模化发展,以及计算机技术、网络技术与通信技术的高速发展与广泛应用,出现了将自动控制技术......
学位
研究了基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测问题。结合机器系统运行过程中的故障特征,对Petri网在机器系统......
针对测试系统中的并行任务调度方法复杂且难以优化的问题,提出并实现了一种利用Petri网并结合Dijkstra算法的并行测试任务调度方法......
期刊
该文首先提出了基于Petri网的Web服务组合建模方法,对服务组合进行形式化建模,然后采用可达树作为分析工具,对服务组合模型的可达......
Petri网是一种系统设计和分析的工具,为了完成Petri网的各项分析,还需要借助如可达树、可达图等工具。讨论了Petri网可达树与可达......
Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进......
介绍了一般Petri网及工作流网的基本定义,在基本的工作流网系统定义的基础上,引入面向对象技术及分层技术,提出了一种面向对象的工......
