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

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

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

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

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

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

高性能网络协议的Petri网模型

Petri网是协议形式化描述的优选模型．本文对高性能协议进行了深入的研究．并针对高性能协议更高的形式化描述要求．分别从语文、同步特征、模块化．层次比、对象化等方面进行了Petri同的特性分析．最后给出了用Petri网描述的快捷运输协议（XTP）的实例．     

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

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

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

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

TMN密码协议的新的攻击

找到了ＴＭＮ密码协议的一些新的攻击,这些攻击构成了新的一类攻击。这类攻击的入侵者既作协议的初始者,也作协议的响应者,这样扩大了密码协议攻击的种类,并可直接用于其它密码协议的分析和设计中。     

TMN协议的形式化分析

利用运行模式分析法对TMN协议进行了全面的分析，发现了对它的10类19种攻击形式．根据攻击的具体形式和攻击中入侵者的目的对这些攻击进行了归类．结合已知攻击发现，在文中定义的小系统上运行模式分析法对TMN协议的分析是有效的．     

基于随机Petri网的BGP网络安全评估

随机Petri网因其具有坚实的理论基础、强大的分析功能和易于表达的图形化方式,应用比较广泛。本文介绍了基于随机Petri网的网络安全评价技术和方法,并对评估的主要性能指标进行了论述。在此基础上对构建的一个BGP网络进行了评估,给出了实验结果,实验中得到的统计数据与实际网络状况相符。由此,该评估实验与评估技术得到了实证。     

基于Petri网的底盘总装线人员配置优化研究

客车底盘总装线生产属于离散事件动态系统(DEDS),针对作业任务对作业人员这种资源存在共享、独占等关系,利用自顶向下的建模方式构建时间Petri网模型,对客车底盘总装线的人员配置进行优化,给出了人员配置的方法与步骤.实例分析表明,时间Petri网模型可以用来优化总装线人员配置,提高劳动生产率.     

基于Petri网的并行任务规划器

本文具体讨论了基于Ｐｅｔｒｉ网理论的并行任务规划器的设计与实现，提出将Ｐｅｔｒｉ网结合人工智能技术构造出基于网的智能系统来描述计算机集成制造系统（ＣＩＭＳ）的思路．该并行任务规划器已在ＳＵＮＳＰＡＲＣ机器上用Ｃ语言实现，达到预期设计目的     

局部公平网的充要条件研究

Petri的局部公平性反映了网系统在局部行为的公平关系，给出了局部公平Petri网的一个充要条件，即如果Petri网具有若干个互不相交的变迁不变式的支撑，则该网是为变迁不变式覆盖的。同时提出了状态观测器的概念，根据网的库所不变式理论，通过把网中所有的状态观测器设计为一个库所不变式，可把一个局部公平网设计为一个公平网。最后给出了状态观测器初始标志的确定方法，来最大限度地保证网系统的行为不受观测器的约束。     

一种基于Petri网的自动Web服务组合算法

为了自动获得性能最优的Web服务组合方案,提出一种自动Web服务组合算法．该方法根据用户的组合需求和已有的Web服务,自动生成服务组合的数据流模型,并用Petri网描述;通过抽取Petri网中变迁之间以及变迁序列之间的各种并发关系,得到性能最佳的Web服务组合方案,并将最佳方案转换为业务过程执行语言的抽象模板．与已有方法相比,该方法能有效地获得性能最佳的具有控制流结构的组合方案．     

信息物理融合系统的面向对象Petri网建模

从多Agent系统的角度,以面向对象Petri网为语义基础,建立了一种信息物理融合系统体系结构模型,将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent．该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体特性,描述系统的静态和动态语义,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证,检测系统开发早期存在的错误,提高系统的正确性和可靠性．利用信息物理融合系统体系结构模型对目标跟踪系统的建模、分析与实现表明,信息物理融合系统体系结构模型可以有效地辅助系统的设计与开发．     

连续系统的受控连续Petri网模型

对于连续系统提出了一种受控连续Petri网模型．该模型充分考虑了系统状态的时变性质,在普通连续Petri网的基础上,对连续变迁的激发速度及触发规则进行了重新定义,从而能直观地、充分地描述受控连续系统的演变,从而为混杂系统统一的Petri网模型框架的建立提供了理论基础．利用模型详细讨论了连续系统的时间最优控制问题的连续Petri网描述．     

基于分层Petri网的面向服务需求求精

为了使结构化面向对象形式语言（SOFL）适应面向服务的软件架构，提出了一种用于面向服务架构软件需求求精的新方法.使用分层Petri网进行建模，利用顺序图对消息传递进行分析，采用SOFL对非形式化和半形式化的系统描述逐步求精.讨论了基于分层Petri网的Web服务，定义了分层服务网、分层Web服务相关概念，描述了用于Web服务软件需求的分析、设计和建模完整过程，并给出了旅游服务中该过程的具体实例.实例分析表明，该方法适宜Web服务分析建模，可帮助用户实现不同粒度Web服务.该方法有助于对面向服务环境下软件需求求精和验证的探索.     

密码协议分析工具--BAN逻辑及其缺陷

在介绍密码协议分析工具——ＢＡＮ逻辑的基础上,研究和分析了ＢＡＮ逻辑在初始假设、理想化步骤、语义和探测协议违规运行等方面所存在的缺陷,并用实际例子具体说明了这些缺陷,最后指出了ＢＡＮ逻辑改进的方向．