Petri网理论及其在操作系统中的应用

本文首先综述了Petri网的基本理论,包括Petri网的概念和Petri网的分析性质。然后讨论了Petri网在操作系统中的应用。     

基于Petri网的通讯协议分析与实现

Petri网能有效地分析通讯协议 ,然而目前的相关文章大多侧重于理论分析。本文结合实际的工程背景 ,用MSComm串行通讯控件和其它的ActiveX控件实现了Petri网协议模型 ,并提出了二者映射的一般规则。用映射规则开发的通讯程序在应用中取得了较好的效果     

基于Petri网的通讯协议分析与实现

Petri网能有效地分析通讯协议，然而目前的相关文章大多侧重于理论分析。本文结合实际的工程背景，用MSComm串行通讯控件和其它的ActiveX控件实现了Petri网协议模型，并提出了二者映射的一般规则。用映射规则开发的通讯程序在应用中取得了较好的效果。     

模糊推理Petri网及其在故障诊断中的应用

分析了推理Petri网与传统Petri网的共性和区别,给出了模糊产生式规则推理Petri网模型.在此基础上,给出了有效的推理算法,并以极大代数矩阵算子进行了形式化表示,此算法充分利用了Petri网的数学理论基础和描述并发系统的能力,具有并行推理能力,可以同时得到推理后系统的全部状态值.最后举例说明了其在故障诊断中的应用.     

Petri网协议分析器

本文以基于Ｐｅｔｒｉ网的协议工作站为研究目标，阐述协议工程工作站的基本功能，简介ＥＰｒ／ＴＮ网系统，着重探讨作者实现的协议描述分析辅助工具ＰＥＳＡＴ的功能特点和实现技术，并以一个例子加以说明，最后作者指出ＰＥＳＡＴ的完善工作和理论协议工程工作站建立的前景。     

模糊Petri网及其在模糊推理中的应用

该文首先引入模糊Petri网(Fuzzy Petri Net)的定义,给出了一个九元模糊Petri网模型,并且详细介绍了模糊Petri网的激发规则。给出了产生式规则的模糊Petri网表示的三种模型,在此基础上提出了一种基于模糊Petri网的推理方法,最后使用模糊Petri网中知识表示和运行的基本算法解决了汽车质量检验和故障分析这一实际问题。实际应用证明基于模糊Petri网的产生式规则的推理具有知识表达能力强,处理不确定知识正确,推理过程简单直观,具有一定的智能推理能力,具有较强的实用价值。     

有色Petri网在网络通信协议上的应用

自１９６２年Ｃ．Ａ．Ｐｅｔｒｉ在其博士论文中首先提出Ｐｅｔｒｉ网后,Ｐｅｔｒｉ网理论和应用都取得了长足的进步。有色Ｐｅｔｒｉ网是由Ｋ．Ｊｅｎｓｅｎ提出的一种高级网系统,可以为系统建模提供强有力的支持。文章介绍了有色Ｐｅｔｒｉ网,并利用仿真工具Ｄｅｓｉｇｎ／ＣＰＮ对一个通信协议停－等协议进行分析。     

密码协议验证中的Petri网方法

如何验证密码协议的安全性是一个复杂的问题,只有形式化的验证方法才能证明密码协议的绝对正确.利用Petri网给出了一种用于密码协议验证的形式化方法.在合理假设的基础上,区分合法用户与攻击者在执行协议时的前提条件,列出执行协议后的结果,在此基础上建立了攻击者的Petri网模型.最后,用这种方法对NSPK协议进行了验证,证明了最初的NSPK协议中存在一个安全问题,而改进的NSPK协议则消除了这个问题.证明了这种方法的有效性.     

混合Petri 网及其在混合系统中的应用探讨

针对混合系统的建模，提出一种混合Petri网(HPN)模型，并用数学语言严格地定义和描述与此Petri网有关的基本概念和一些性质。以一个生产系统为例，用Petri网来描述并分析此生产系统，并用VisObjNet软件包仿真此生产系统。     

Petri网在生物信息学中的应用

生物信息学是一门正在快速发展的使用数学和计算机技术来构造和分析生物学模型的学科.Petri网是近来被用于生物信息学的有效工具,但是应用的深度和广度还有待深入研究.文中综述了Petri网在生物信息学领域应用的最新研究进展,主要包括三个方面:应用位置/变迁网定性分析生物学对象的结构性质;应用随机Petri网将随机性加入到生物学建模和分析中;应用混合Petri网描述和分析同时具有离散特性和连续特性的生物系统.最后对Petri网在生物信息学领域的应用情况进行总结并展望了未来的研究方向.     

Petri网化简操作及其在系统验证中的应用

针对柔性制造系统的验证问题，提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持问题，给出了化简后的Petri网保持活性、有界性、可回复性的一组充分条件或充要条件。对一个柔性制造系统进行了验证。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径，为复杂大系统的分析提供重要手段，并特别适合于柔性制造系统的验证，具有一定的实用价值。     

Petri网精细化操作及其在系统设计中的应用

针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值.     

模糊着色Petri网及其在工作流建模中的应用

Petri网是当前工作流建模中广泛采用的工具之一，针对工作流过程定义中模糊信息的描述和处理问题，提出模糊着色Petri网的描述方法，并给出基于模糊着色Petri网的推理过程，最后给出一个简单业务流程的基于模糊着色Petri网的工作模型，并对该模型进行了分析。     

Petri网共享合成及其在并行系统中的应用

为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法。对分布式并行处理系统MPI并行程序的结构与消息传递过程进行分析,给出并行程序基本语句与传递函数的Petri网,将Petri网共享合成运算从两个Petri网的共享合成运算推广到并行程序的多个Petri网的共享合成运算,给出了推广定理和证明。提出了共享合成构建MPI并行程序Petri网的算法,并在消息传递并行系统中给出构建MPI并行程序Petri网的应用示例。实验结果表明,共享合成运算是构建MPI并行程序Petri网模型的一种有效方法。     

面向对象的Petri网方法及其在软件工程中的应用

本文介绍了面向对象Ｐｅｔｒｉ网方法，给出了ＯＯＰＮ的基本定义和图形表示，讨论了ＯＯＰＮ的特性和子网细化方法。     

Petri网方法及其在制造系统研究中的应用

Petri网是描述、分析和控制离散事件动态系统最有效和应用最广泛的方法。本文先对Petri网的基础理论和重要性质加以介绍,然后对其在制造系统研究中的应用进行评述。     

Petri网在IDS中的应用研究

传统的基于Petri网的入侵检测方法只能实现误用检测,而且构造入侵模式的效率太低,不适合如今网络大规模化和入侵复杂化的趋势。针对这两个问题,该文将传统入侵检测过程中的数据分析过程分解为事件产生过程和事件分析过程两个子过程,不仅保留了基于Petri网入侵检测方法原有的优势,而且缓解了入侵模式构造效率低的问题,并且实现了异常检测。实验分析表明,该改进方案对于入侵检测是很有效的。     

Petri网共享子网合成及其在系统设计中的应用

针对柔性制造系统的设计和分析,提出了经由Petri网共享子网构成合成网的解决方案;研究了Petri网共享子网合成的动态性质保持问题,给出了合成网保持活性、有界性的一组充分条件;对一个柔性制造系统进行了设计和分析。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值。     

随机Petri网理论在GSM-R通信系统中的仿真应用

列车和无线闭塞中心在多数情况下通信处于正常状态,但在实际通信过程中可能出现以下几种引发故障因素：传输数据出错、连接丢失、越区切换、端到端传输延时。应用仿真主要考虑高速列车在移动闭塞区间条件下GSM-R无线通信系统的可靠性,结合随机Petri网理论对GSM-R铁路无线通信系统故障恢复事件进行建模和分析,给出了随机Petri网表示的列车与无线闭塞中心通信的故障恢复模型,并采用TimeNET仿真工具对GSM-R通信系统的可靠性进行分析得出相应结论。