应用Petri网对CSMA/CD的描述及分析

Petri网已经被成功地用来描述、验证及评价网络通信协议。本文阐述了扩充Petri网在研究CSMA/CD协议方面的应用。扩充是在两个方面完成的,即加入了禁止弧和时间的概念。通过使用可达图(树)和时间可达图等分析技术,介绍了CSMA/CD的一些重要性质。     

基于Petri网列车连挂解编模型分析

提出一种基于Petri网描述系统的方法,该方法（简称EPN）将Petri网与UML思想相结合,通过5种简单的事件模型来分析系统。由于借鉴了UML思想,使得EPN易于对一些复杂系统进行描述,也易于利用UML分析结果对系统快速建模。同时EPN是基于Petri网,因此完全可以利用现有Petri网的数学模型和工具进行建模和仿真。本文主要对列车控制系统中的连挂和解编过程进行建模。通过模型验证采用EPN分析系统的有效性和便捷性。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网（ETPN）的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解．首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度．通过实例证明了该建模方法和优化算法的有效性和正确性．     

基于扩展模糊时间Petri网分析冲突事件的不确定性时间知识

为有效处理冲突相关的不确定性时间知识,在已有研究基础上,基于扩展模糊时问Petri网,引入变迁的模糊触发区间以表示使能变迁触发的不确定性,结合模糊时间函数和可能性值的运算来描述和分析各冲突事件发生的不确定性.能够针对冲突事件的各种时间不确定性问题进行定量分析,可以解决复杂情况下的时间知识推理和验证.其相对于已有方法具有冲突分析精确、计算简单、适用面广的特点.     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

Petri网模型在MIS系统中的应用

管理信息系统是控制物质和信息的协调系统。Petri网是一种建模及分析系统性能的有力工具，特别是对检测系统并发冲突方面具有独到的优势。利用Petri网和MIS的耦合性，Petri网模型可以使管理者了解生产的细节和工作流程，更好地为决策者服务。     

基于时间Petri网的薪酬绩效系统的研究

本文提出一套薪酬绩效系统模型。系统采用Hibernate连接数据库,以时间Petri网(TPN)的并行式工作流模型建模。文中首先介绍了该薪酬绩效系统的体系结构和系统功能结构,通过基于层次时间Petri网工作流模型(HTPN)对该系统工作流运行时间进行计算。最后对系统通用性、可移植性和效率进行分析。     

事件驱动系统的Petri网建模

 讨论一种事件驱动系统的建模方法,对基本Petri网作一定的扩充,使之具有描述事件/状态、控制结构和系统并行性的能力.     

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

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

基于Petri网的多机器人协作任务分配与导航研究

研究了基于Petri网理论的多移动机器人任务分配和导航策略问题.针对有限空间环境下的物科收集协作任务,提出了一种机器人路径选择方法,并建立了基本路口单元和工作空间的Petri网模型.通过任务分配模型实时规划物科仓库内的机器人,并对具有拐角特征的多机器人路径冲突给出了消解方法,建立了机器人冲突协调模型.通过分析任务冲突协调模型,避免了多机器人运动路径冲突.最后仿真实验验证了提出的多机器人任务规划方法的有效性.     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

扩展Petri网在PPCES建模中的应用

利用生产计划与控制专家系统(PPCES)进行启发式搜索,根据Petri网建模原理及PPCES的推理需要,对生产系统建模,定义了一类扩展有色、时间Petri网,用来解决Job-shop型生产系统中NP难度的调度问题.实践证明,这种方法不仅可以在增强模型描述能力的同时有效地降低其复杂度,还可以应用专家系统领域的知识指导系统进行冲突消解,从而避免了常规分析方法所带来的组合爆炸问题.     

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

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

基于用例的层次Petri网建模

利用用例解决了层次Petri网建模中问题界定和问题细化的两个难点，同时也利用层次Petri网表现了用例中文本形式事件流所无法表现出事件自身的并发关系，由此建立的模型具有粒度可控和模块化良好的优点。     

一种用于嵌入式系统建模的扩展PRES网

在嵌入式系统设计前期需要对系统建立适当的形式化模型并进行仿真分析。该文在分析现有Petri网模型的基础上,提出了一种EPRES(extended Petri net based onrepresentation for embedded system)模型,并具体给出了相应的结构定义、图形表示和行为规则。EPRES将库所分为控制库所和数据库所两类,引入变迁函数和变迁时延,可以对嵌入式系统的功能实现、资源消耗和时间约束进行描述和仿真分析。给出的使用EPRES对嵌入式系统建模的实例表明,该方法能够较好地解决嵌入式系统的建模问题。     

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。