基于Petri网的协议分析技术及工具

研究基于 Petri网的协议分析技术及工具并对要开发的协议分析器工具软件进行需求分析和人机交互界面设计 ,进而阐述该工具主要功能模块实现的思路和算法 ,并将其应用于对 AB通讯协议的描述和性能测试分析 ,表明所开发的工具的有效性     

基于Petri网的图书馆管理预测模型研究

提出了用Petri网科学管理图书馆的方法。图书馆管理预测问题具有多因素,离散,动态和并发等特点,Petri网有良好的离散事件动态表达和计算能力和直观的图形表示,因此建立了图书馆管理预测问题的Petri网模型,并进行了分析,为采用合理的管理策略提供理论依据。     

Petri网可达树的构造与实现

讨论了Petri网可达树的构造方法，给出了相应的算法和实现技术，对基于Petri网可达树的并发系统的动态性能分析具有一定的参考价值。     

基于Petri网的图书馆管理预测模型研究

提出了用Petri网科学管理图书馆的方法.图书馆管理预测问题具有多因素、离散、动态和并发等特点,Petri网有良好的离散事件动态表达和计算能力和直观的图形表示,因此建立了图书馆管理预测问题的Petri网模型,并进行了分析,为采用合理的管理策略提供理论依据.     

基于颜色Petri网的密码协议的分析

密码协议的成功设计是安全领域的关键问题之一，对密码协议进行形式化分析成为当前研究的热点，通过引入颜色Petri网来描述密码协议，并以TMN协议为例，利用Petri网的状态矩阵分析特性对其进行分析，发现并验证TMN协议的安全缺。最终说明利用Petri网分析密码协议是可行的。     

改进型有色Petri网的安全协议分析

针对传统有色Petri网方法在安全协议分析中存在的一些不足,提出一种新的基于有色Petri网模型的分析方法。给出改进型的基于有色Petri网的模型构造方法及协议分析的具体步骤,利用此法对具体的Helsinki协议进行建模和分析。实验证明,这种方法行之有效,且在一定程度上有利于有色Petri网安全协议向自动化分析方向发展。     

网络传输层协议的随机Petri网模型及性能分析

描述了广义随机高级Petri网(GHLSPN)在计算机网络传输协议的模型与性能评价中的作用,并对影响网络性能的系统指标进行了讨论;同时考虑了确认控制、窗口流控制和错误重传控制等机制对网络系统的性能影响,克服了以往对网络性能评估的某些局限。     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题，在时间Petri网和着色Petri网的基础上，提出了一种新的扩展Petri网（EPN）模型，并在EPN中定义了条件矩阵Q，给出了Petri网与遗传算法相结合的优化方法和具体算法，使用本优化方法，对一个车间作业（Job-shop）调度问题进行了求解，建立了该Job-shop调度的EPN模型，并采用单个体遗传算法对Petri网模型进行优化，结果证明了该建模和优化方法的有效性和正确性。     

基于分层Petri网的敏捷供应链建模与分析

基于Petri网系统理论,采用分层分析的方法,将供应链抽象出顶层和底层模块,将顶层模块细化,形成底层模块,并生成与各层次相对应的状态图.根据状态图抽象出其中的库所、变迁等变量,形成对应的Petri网.利用Petri网理论对此供应链系统进行静态结构分析和动态行为分析,最终实现供应链上各节点企业的整体集成和协调控制.子网中应用CPRF流程生成订单的思想,构造订单生成子网模块,产品生产子网模块及信息采集子网模块,整合出整个供应链的子网系统.最后,对系统的鲁棒性和反应敏捷度作综合分析,构造了可达树,并对所建模型的正确性和可达性进行分析.     

基于扩展Petri网的仿真建模与分析

从扩展事件驱动过程链(EEPC)和传统Petri网入手,结合二者的特点,提出新的仿真模型——基于EEPC的扩展Petri模型。该仿真模型既能体现业务流程的逻辑结构,又能定量对时间等因素进行计算与判定,从定性和定量两个方面保证了流程分析的正确性与有效性。以某医院内科病人就诊流程为例对该仿真模型进行了有效性验证。     

一种改进的CMP1协议及其Petri网分析

研究了一种改进的电子商务协议CMP1协议。针对原有CMP1协议的冗余设计、不满足协议公平性和时限性要求、存在被重放攻击的可能等不足,提出了一种改进方案,并使用颜色Petri网协议分析方法对改进后的CMP1协议进行了建模仿真和性质分析。仿真结果证明改进后的CMP1协议不但满足网络协议的可追究性、公平性和时限性等属性要求,而且避免了被重放攻击的可能。     

Petri网建模方法在网络仿真中的应用

首先介绍了Petri网原理及特点和Petri网建模的一般方法，然后以CSMA／CD网络为例给出仿真模型，最后总结Petri网建模优点并将Petri网建模与流程图进行了比较。     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题,在时间Petri网和着色Petri网的基础上,提出了一种新的扩展Petri网(EPN)模型,并在EPN中定义了条件矩阵Q,给出了Petri网与遗传算法相结合的优化方法和具体算法.使用本优化方法,对一个车间作业(Job-shop)调度问题进行了求解,建立了该Job-shop调度的EPN模型,并采用单个体遗传算法对Petri网模型进行优化,结果证明了该建模和优化方法的有效性和正确性.     

基于网络流Petri网模型的设计更改技术

为了实现网络流系统设计更改的响应检测,将响应检测同网络的动态表达相结合,提出一种基于网络流Petri网(NFPN)动态模型的设计更改响应检测方法.用Petri网对网络流及设计更改进行描述,建立网络流Petri网的动态模型.在分析层级网络流特点的基础上,将Petri网完整可达图的构造同设计更改的响应检测相关联.通过多级抽象化简可达图,递归实现网络整体的分析.在配电网改造设计中的应用验证了该方法的可行性和有效性,降低了状态空间的复杂度,可见该方法适用于大尺度复杂网络.     

基于Petri网的系统可靠性分析

本文讨论用Ｐｅｔｒｉ网方法作为建模工具来描述单调关联故障树，并且考虑配置维修设备，可修系统的动态行为可以借且Ｐｅｔｒｉ网模型和等价的马尔可夫链进行研究。     

基于Petri网的战术互联网建模方法

为了兼顾建模仿真的实时性和精确性,在分析战术互联网结构和特点的基础上,提出一种基于Petri网的战术互联网建模方法,并从网络吞吐量和端到端时延2个方面进行了试验验证,对比分析表明：该方法易于实现,实时性高,在数据分组发送速率较低和节点运动速度较慢的情况下仿真精确度相对较高,能够较好地满足战术指挥模拟训练的需求。     

交互控制协议的扩充设计及Petri网验证

远程控制是远程数字视频监控系统的核心, 目前很少使用自定义的协议来实现远程控制功能, 已有的交互控制协议功能还存在一些不足, 尤其是多用户、多摄像机情况下涉及的用户权限问题没有得到解决。针对此问题对交互控制协议进行扩充设计, 包括请求方法和标头的设计, 使得交互控制协议功能更加完善。为保障协议设计的完整性, 结合协议工作原理, 并考虑报文在信道传输中丢失的情况对交互控制协议建立Pe tri 网模型, 最后通过可达树对协议进行完整性验证。     

基于高级Petri网的住院医师培训工作流建模与分析

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.     

基于随机Petri网的FMS建模及其性能分析

FMS是复杂、大型的系统，利用Petri网的特有性质能很好地分析FMS系统。首先概述了柔性制造系统和随机Petri网的特征，结合一柔性制造系统的实例，通过随机Petri网建模，分析了FMS的多项性能指标；最后简要介绍了一种模拟软件StpnPlay，并用其对随机任务随机时间进行模拟。在实际应用中可以借助一些模拟软件实现模拟结果，以供管理者参考系统的可行性。     

基于面向对象技术与有色Petri网的FMS建模

在柔性制造系统建模中，结合应用面向对象技术和有色Ｐｅｔｒｉ网。提出了该建模方法在ＦＭＳ中的应用思路和步骤：运用思想将ＦＭＳ抽象化、对象化并从整体上规划对象间的信息交流，建立系统级信息Ｐｅｔｒｉ网模型；在此基础上，建立了对象内部行为的有色Ｐｅｔｒｉ网模型。