基于Petri网的数据流与控制流相结合的协议测试

提出一种数据民控制流相结合的测试方法,在Ｐｅｔｒｉ网模型对上于控制流选定操作符覆盖标准,对于数据流采用ａｌｌ－ｄｅｆｓ标准,最后给出一既考虑数据流标准又考虑控制流标准的求测试序的算法。     

既考虑数据流又考虑控制流的测试方法分析及比较

研究数据流与控制流相结合的测试方法，为进行比较，采用了三个不同的数据流标准，对于控制流选定操作符覆盖标准，提出了求可执行变迁序更列的算法，并且给出了关于测试方法，测试序列数目及错误覆盖能力的比较。     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

基于Petri网模型的OSPF路由处的测试序列生成

OSPF协议是一种动态路由协议,它利用内部的链路状态数据库来维护和计算路由,它的路由算法是本协议的关键部分,本给出了路由算法的Petri网模型,并使用控制流和数据流测试相结合的一种方法,在此基础上产生测试序列。     

基于时间Petri网的渗透测试攻击模型研究

针对攻击模型会因为描述的攻击参数不完备,导致实际应用价值降低的问题,提出一种以漏洞为基本粒度,基于时间Petri网的渗透测试攻击模型及构建方法. 该方法对已知漏洞列表构建单漏洞利用模型,通过整合形成渗透测试攻击模型,并提供快速和稳定的漏洞利用方案选择算法,获得相应攻击方案,以及完成一次渗透攻击所需最短时间. 实验结果表明,该模型及算法可以有效地描述攻击时间和攻击稳定性,可实际应用于渗透测试.      

基于过程挖掘的临床路径Petri网建模

提出基于统计α算法的临床路径Petri网模型,将Petri网和基于统计α算法的过程挖掘算法集成,从事件日志中挖掘重要信息,获得完善的诊疗流程,并在此基础上建立Petri网模型,有效实现诊疗流程的优化和改进.通过仿真数据试验,验证了本文提出的统计α算法相较于经典α算法在准确度和运行时间上有着较大的优势.并将模型运用到临床路径真实数据上,证明了模型的有效性和准确性.     

确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现．     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

基于Petri网的病毒攻击建模

针对威胁计算机网络安全的病毒攻击行为,建立了基于Petri网的病毒入侵网络基本模型,利用CPN tools仿真工具分析了模型的活性和各个库所的有界性,以利于采取有效的网络防御措施和建立安全的防御体系.利用安全策略域、域间通信信道的概念,根据病毒入侵传播的特性,建立了基于随机着色Petri网的企业网络模型,并给出了用该模型模拟与安全相关网络行为的方法.     

基于依赖关系的数据流Petri网一致性分析

现有的大部分关于业务流程一致性的研究主要考虑控制流.而数据信息也是流程中需要重点关注的部分,在考虑数据视角后,模型与事件日志间的一致性可能出现很大的不同.提出一种基于依赖关系的数据流Petri网一致性检查方法.方法引入决策表的概念,通过寻找模型中存在的决策点并对其添加决策表来构建合理且尽可能贴合实际系统的数据流Petri网模型;根据模型与事件日志中存在的依赖关系,使用给定的代价函数计算最优对齐与参考对齐所需代价值,在此基础上计算得到日志与模型的一致性度,根据结果衡量流程执行的一致性;通过实例分析对所提方法进行验证,结果表明,融合数据流与决策表的方法在一致性检查中更具合理性.     

基于着色Petri网的双向搜索关键路径算法

提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的执行效率优于传统单向搜索关键路径算法．     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

基于Petri网的点到点通信并行程序验证

基于消息传递的编程模式是目前编写高性能应用程序的主流,而点到点通信函数是最基本的函数。基于点到点通信函数的特点,使用Petri网模拟它们的执行过程,利用控制库所充分展示了各种点到点通信函数之间的区别。然后给出对基于点到点通信的并行程序进行建模和验证的过程,并举例说明了这个方法的有效性。     

基于Petri网的词法分析器的研究

采用Petri网对词法分析器进行了设计与分析.首先引入一套自成体系的"矢量文法",并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系.最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析.     

基于Petri网的知识表示

介绍一种基于Ｐｅｔｒｉ网的知识表示方法。在引入Ｐｅｔｒｉ网的基本知识后，详细讨论了Ｐｅｔｒｉ网表示产生式系统及基于Ｈｏｒｎ逻辑子句的Ｐｅｔｒｉ网表示，提出了用库所表示产生式谓词，用变迁表示规则的Ｐｅｔｒｉ模型。最后讨论了将Ｐｅｔｒｉ网应用于ＯＯＡ（面向对象分析）模型的研究，从而提出一个基于Ｐｅｔｒｉ网的ＯＯＡ模型     

模糊时间Petri网应用

本文在时间Petri网和模糊Petri的基础上提出了一个新的模型——模糊时间Petri网.在给出定义之后,并利用该模型的对一个简单的实例进行了分析,得出了利用模糊时间Petri网可以充分的利用资源,极大的提高了资源的利用率.     

基于Petri网的柔性工艺规划

论述了产品制造过程中的柔性工艺产生的原因及其工艺柔性存在的意义。在分析了CAPP中的柔性工艺与Petri网之间存在的相同特性关系、柔性工艺Petri网与生产调度Petri网之间的融合关系的基础上，推出了基于Petri网的柔性工艺模型，并对模型与关联矩阵的转换进行了描述。这种方法为CAPP与生产计划调度的一体化集成提供了一种新的途径。     

基于Petri网的机务工程管理工作流建模

通过采用先进的流程建模技术实现机务工程管理的现代化、科学化已成为非常迫切的任务.本文采用基于petri网的工作流建模技术能够更好的适应由于航空机构改革所带来的机务工程管理信息化的演进与完善.     

基于混合状态Petri网的变结构决策组织设计

决策组织是一个混合状态的离散事件动态大系统，它适合于用该文提出的混合状态Ｐｅｔｒｉ网来建模。为了设计一个变结构决策组织，该文基于决策员的四阶段模型和决策员之间的交互关系，定义了一个称之为良定义网的初始集，并利用示性函数来描述良定义网中各连接的可变性。