基于对象Petri网的雷达组网系统建模仿真研究

建立了复杂环境下雷达网的OPDL模型，并以雷达网分布式目标检测分析为背景，运用所建立的雷达网OPDL模型进行了仿真实验。研究表明，基于OPDL的雷达组网系统建模仿真是一种分析、评价雷达网系统的有效途径。     

基于着色Petri网的交换式局域网仿真

利用CPN—Tools建模辅助工具建立了基于着色Petri网的交换式局域网模型,通过模型的仿真运行得出了网络流量和网络延时之间的关系,模型的构件组成为交换机、工作站、服务器。     

一种基于Petri网的飞机配电系统可靠性分析方法

将一种基于Petri网的故障树分析法运用于飞机配电系统的可靠性分析,以库所和变迁为节点,有向弧的指示方向表达系统故障的传播关系.同时提出一种应用Petri网的关联矩阵求最小割集的新算法,此算法按照指定关联矩阵中所表达的输入、输出关系直接从关联矩阵得出割集,易于计算机程序的实现,而且对于求有重复事件Petri网模型的割集更为简单、直观,避免了传统飞机配电系统可靠性分析方法中分析复杂,减少了计算量,弥补了传统故障树分析法中的不足.     

基于FPGA的有色Petri网仿真系统设计

为了实现大规模有色Petri网模型的性能测试,设计了基于FPGA的高速仿真系统。该系统实现了库所、变迁模块到硬件结构的映射,采用C语言实现了有色Petri网的硬件自动生成工具。通过分析有色Petri网的特征,该工具生成对应的Verilog代码和基于Quartus的自动脚本。以通信中"包传输"的模型为例,在FPGA中对生成的代码进行测试,验证了设计的正确性。     

基于Petri网的食用菌工厂控制系统研究

摘 要： 现代化食用菌工厂规模不断扩大,PLC控制系统也日趋复杂,传统的经验法设计PLC控制系统出错率增加,检错不易。因此,对系统进行建模和分析具有非常重要的意义。文章利用Petri网的图形性质和对并发事件的建模能力,以食用菌工厂出菇房的PLC控制系统为对象,进行建模、分析,包括新风机,排风机,加湿器,内风机,压缩机,抑制机等关键设备的控制运行,从而简便、直观地构建PLC控制系统的模型并编制程序,可以保证系统可靠、高效地运行。     

Petri网在系统可靠性分析中的应用

简单介绍了各种Petri网模型的定义和性质，对Petri网模型在系统可靠性分析中的基本行为描述、故障树表示与简化、故障诊断、可靠性指标的解析计算以及可靠性仿真分析等方面进行了较全面的评述，对进一步的研究方向进行了展望。     

基于Petri网的iSCSI协议分析与建模

通过对iSCSI协议对象的分解,论述了通信双方在整个会话生命周期中各阶段的状态以及状态转换的条件,并依据Petri网理论,建立iSCSI协议会话模型,完成对协议运行机制和实现原理的分析。     

基于网络通信协议的随机Petri网建模

随着计算机网络协议的广泛度和复杂度的增加,协议的形式化工作显得越来越重要.Petri网与其他形式化建模技术相比,具有特别的优越性,更加适用于通信协议的仿真与性能分析.基于两个基本通信协议:stop-wait协议和CSMA/CD协议,用Petri网对他们进行建模与仿真,对于协议开发与验证有重大意义.     

基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

一种基于时间权重的 Petri Net 工作流过程建模

为了研究 Petri Net 工作流模型的时间性能,首先给出了一种基于时间权重的工作流过程模型,此模型在变迁中引入时间,然后对此模型进行了时间性能分析,最后得出结论此模型在工作流的时间性能分析上是可行的.     

基于模糊Petri网的信任评估

针对网络实体间信任关系的不确定性,论文提出了一种基于模糊Petri网的信任评估模型,该模型给出了信任评估的模糊规则,在此基础上利用模糊Petri网与矩阵运算相结合的推理方法,通过并行处理关于一个实体的多个推荐来评估实体间的信任关系。经信任关系评估实例计算可以看出,基于模糊Petri网的推理方法使得信任评估灵活、简单、有效。     

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

Petri网理论在指挥自动化系统建模上的应用

在Petri网理论基础上分析如何用Petri网理论描述指挥自动化系统 ,给出了相应实例     

基于Petri网的安全协议形式化分析

本文提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是,利用逆向状态分析判定协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性分析判断这些不安全状态是否可达.通过实例,我们证明了这种方法的有效性.     

用于检测数据库一致性的Petri网模型

本文通过建立事务调度的Ｐｅｔｒｉ网模型，给出了并发控制系统判断数据库一致性的形式化方法，得到了判定可串行化调度的充要条件。本方法简便、实用，大大改进了以往的方法，为实现数据库一致性的自动判定提供了前提。最后从方法学角度提出了应用Ｐｅｔｒｉ网的新方法。     

工作流挖掘与Petri网表示的对偶交换

将对偶交换的观点引入工作流挖掘的研究可以获得新的认识。其在工作流结构验证中并行和选择互换后仍保持结构的正确性。工作流挖掘α算法先挖掘选择结构,余下并行结构,通过对偶交换得到算法,先挖掘并行结构,余下选择结构,算法能够减少非自由选择结构。不同情况下两种算法结果比较取优,能够使工作流挖掘的并行和选择的嵌套关系更为简练。以任务为变迁的Petri网能够最简洁地表示α算法挖掘结果,以任务为库所的Petri网能够最简洁地表示算法的挖掘结果。这两种Petri网表示也体现出对偶性。     

主体计划的Petri网方法及正确性验证

主体计划的生成问题是多主体系统实现的一个关键问题.为了实现多主体系统中的计划自动生成以及对生成的计划进行验证,以任务有效分解的Petri网模型为基础,提出了计划提取的方法并对相关的正确性运用同步器进行验证.首先,通过对网系统的可达性分析得到所有计划的集合,组成多主体系统的计划库.其次,根据同步网的相关思想,对计划库中的每一个计划的正确性进行了形式化的验证,从而为多主体系统的实现提供了保证.     

用Petri网对点击拨号业务的建模

该文提出一种将协议转换方法学和Petri网理论相结合来研究应用层协议转换的新方法。按照协议转换方法学的流程,对IIN(Internet Intelligent Network)模型中的点击拨号(CTD)业务进行分析。在用Petri网对CTD业务的建模过程中提炼出通用的Petri网模型协议转换耦合原则,丰富了协议转换方法学的内容。利用Petri网的分析能力分析了CTD业务协议转换模型的特性,达到了检错纠错的目的。 在该方法的指导下开发了业务控制网关(SCGF)和CTD业务,证明了这种新方法的可行性和适用性。     

一种基于广义随机着色Petri网的网络攻击组合模型

攻击行为建模对网络安全分析与评估具有重要的作用。该文定义了一种基于广义随机着色Petri网的网络攻击组合模型,该模型能清晰表达攻击组合中各组合部分之间的关联关系,给出了攻击行为、攻击组合运算的定义和攻击组合的建立算法,并对组合模型的结构复杂度进行了度量。在此基础上,从系统性能分析的角度对时间代价进行评估。针对网络实例的分析进一步验证了所提出的组合模型及相关计算方法的有效性。