基于Petri网的离散事件系统控制理论

建立在Ｐｅｔｒｉ网逻辑模型上的离散事件系统控制理论是近年来发展起来的离散事件系统控制理论的重要组成部分，具有适应面广和易于实用化的特点，本文首先介绍该理的Ｐｅｔｒｉ网模型，然后概述该理论的主要成果。     

基于CPN的pub/sub系统中事件订阅的分析

提出了一种基于着色petri网（CPN）理论的pub／sub系统协议分析方法,并就一种p2p网络之上的pub／sub系统协议,用CPN对系统中的订阅事件的消息处理进行形式化描述和建模。用CPN Tools对模型进行模拟仿真,通过对模型的可达图进行分析,证明了协议具有活性、可达性和有界性等,验证了协议的可用性。     

事件驱动的应用系统开发方法学

本文提出一种通用的规范技术用于详细描述进程、进程类、事件和消息。所述方法学基于已经扩展到高层次概念的Ｐｅｔｒｉ网,并注意到许多可供Ｐｅｔｒｉ网使用的形式化分析原理的适应性。这里将其用来扩充ＨＩＰＯ方法和ＮＳ方法,使仔们具有规范进程和事件消息的能力。     

离散事件系统的控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法。该方法首先把冲突问题转化为禁止状态问题。然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制，文中还给出了求解控制的有效算法。     

实时离散事件系统规范与证明方法

针对离散事件系统的规范与证明，给出了多种形式化方法，并且在这些形式化方法的基础上，将时间因子引入，从而解决实时离散事件系统的实时规范问题，虽然这些实时形式化方法是从不同角度提出的，但它们之间存在的内在联系，通过对这种联系进行深入研究，为以后更加有效地使用这些形式方法提供了理论依据。     

基于Petri网的离散事件系统初始资源优化配置

资源优化配置技术能够在系统执行任务之前提供合理的资源分配方案,以满足预先设定的生产目标、成本等约束条件,对于节约成本、提高经济效益具有重要意义.本文基于Petri网研究离散事件系统的初始资源优化配置问题.首先,根据Petri网的结构化特性将初始资源优化配置问题抽象为整数线性规划问题;其次,利用Lingo等软件求解初始资源优化配置问题;最后,利用实例对提出的方法进行验证.实验结果表明,提出的方法简单,高效,具有重要的实际意义.     

基于不变量综合离散事件系统Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件动态系统中实现一组不等式约束控制规范的Petri网控制器的存在性及其综合问题.利用系统的关联矩阵,把Petri网控制器的参数阵与受控系统的一个P-不变量用线性方程组联系起来.提出了Petri网控制器存在的代数判据.通过以此方程组为约束条件的一个整数线性规划问题的解,给出了Petri网控制器的结构参数（弧权值）和控制位置的初始标记数.给出的控制器的结构具有极小性.在结构一定的条件下,它是极大允许的.     

离散事件系统的受控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法．该方法首先把冲突问题转化为禁止状态问题，然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制．文中还给出了求解控制的有效算法．     

一种基于Petri网和因果关系矩阵的事件日志过程挖掘方法

提出一种基于Petri网和因果关系矩阵的事件日志过程挖掘方法.基于Petri网和因果关系矩阵的事件日志过程挖掘算法,利用因果关系矩阵进行过程挖掘,其过程模型可以更好地匹配系统产生的事件日志集.     

基于Petri网模型的顺序离散事件机电系统在线Bayes故障诊断方法

提出了顺序离散事件机电系统的概念,并基于Petri网理论,研究了赋时简单串联顺序事件Petri网对该类系统建模.将变迁过程的时间度量看成统计量,提出一种Bayes试验鉴定方法,用于对统计量方差差异进行显著性检验,并通过结合Bayes方法与先验知识对系统进行故障诊断.实验结果表明,该故障诊断算法能够充分将经验知识和实时监测数据相结合,可以较准确地检测某物料自动输送系统的故障.     

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

管理信息系统是控制物质和信息的协调系统，利用Petri网和MIS的耦合性，Petri网模型可以使管理了解生产的细节和工作流程，更好地为管理服务。     

OOCPN在OOSD中的应用

引进了面向对象着色Ｐｅｔｒｉ网的概念，提出将其应用于面向对象的软件开发方法的过程中。     

基于Petri网的工作流系统不确定性时间信息的计算

基于工作流系统对时间管理功能有严格的需求, 针对任务执行时间的不确定性, 提出了基于库所时间Petri网的工作流系统建模方法—PT_net. 该方法可以有效计算工作流系统的时间信息, 从而为工作流系统的时间管理和分析提供技术支撑.     

基于Petri网的AUV水文学调查使命中任务调度过程的仿真

AUV水文学调查使命的任务调度过程是一个复杂的离散事件过程，包括了航渡、勘查、GPS校正、避碰等众多事件，各事件之间的转换是由各种战术规则和随机海洋环境所决定的，具有并行、异步和冲突竞争等特点，在建立了描述这些事件的Petri网的基础上，提出了处理并行和竞争变迁的实施原则，并对调度算法进行编程仿真，实现了AUV水文学调查使命的任务调度过程描述的可视化。     

基于Petri网分解的系统范例分析

以生产者一消费者系统和多处理机系统为例子,讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用,分析了分解后的子系统与原系统的结构和行为方面的对应关系,为基于Petri网的复杂系统分析提供了有效的方法.     

模糊离散事件系统在信息服务系统中的应用

用模糊离散事件系统(FDES)从离散事件的角度去描述一类包含所谓“具有确定性的不确定/模糊”问题、与人的主观观察/判断密切相关的复杂系统.将信息服务系统分为若干个自主智能实体———Agent,提出了Agent服务状态的概念.根据信息服务过程中的一些辅助观测量,评判Agent系统当前的服务状态,用基于规则的FDES去描述各种服务状态之间的转化行为,并构造FDES监督控制器,使Agent的服务状态始终得到有效调控,起到了合理利用有限资源、保持负载平衡、防止请求任务阻塞等作用,提升了Agent的服务状态品质.通过在纺织行业信息服务平台中的应用,证明了该方法的有效性.     

基于模糊离散事件系统的车域网垂直切换系统建模和应用

将模糊离散事件系统(FDES)应用于车载网(VAN)的垂直切换中,综合考虑了信号强度、带宽、费用、移动速度、稳定性等因素,分别对带宽、费用和稳定性建立了模糊自动机模型,提出了垂直切换的效率函数和垂直切换模糊规则,最后举例说明了FDES在车栽网垂直切换中的可行性.     

基于C/E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子     

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

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

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析,用在系统可编程逻辑器件实现Petri网的方法,这种密码系统的设计方法简单、直观,由于Petri能够对复杂系统进行建模和分析,因此,采用这一方法能够十分容易地构造出复杂的密码系统,并确保系统的安全、可靠,文中给出了几种密码系统的Petri网模型,并给出了硬件实现的实例。