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

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

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

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

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

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

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

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

基于Petri网密码系统的实现

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

基于Petri网密码系统的实现

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

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

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

无环Petri网的结构性质

无环Ｐｅｔｒｉ网的结构性质赵正义宋文忠（东南大学自动化研究所，南京２１００１８）无环Ｐｅｔｒｉ网是一类特殊的Ｐｅｔｒｉ网，在研究离散事件动态系统（ＤＥＤＳ）的控制问题时经常会遇到，如文［１］中的结构无竞争无环Ｐｅｔｒｉ网，文［２］中的广义树结构均属...     

基于局部关联矩阵的Petri网监控器的综合

针对具有定义在库所标识上的最一般情况下不等式约束的离散事件系统,给出了它的Petri网控制器设计方法.该方法通过简化离散事件系统的Petri网关联矩阵以减少控制器设计的复杂性.通过一个应用实例将该控制器设计方法与Moody提出控制器设计方法进行比较,结果表明该方法更简便、有效.     

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

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

基于Petri网的公路施工资源总体优化方法

基于施工资源局部优化建立的Petri网模型输出和资源能力之间的关系,采用施工资源强度柔化的总体优化方法调整工序所需资源,使工序的持续时间加长或缩短,从而降低资源平衡性指标,给出了柔化的取整准则、方向准则和幅度准则,并进行了证明.最后以工程实例与最小方差法进行了优化效果的对比研究.结果表明,柔化方法与工程管理习惯一致,能够大幅降低传统方法优化时的计算工作量,得到更加优化的平衡性指标.     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

一种有界Petri网的可诊断性验证方法

离散事件系统满足可诊断性是设计故障诊断算法的前提,因此研究可诊断性验证方法具有重要意义.故障发生后无死锁是研究可诊断性问题常见的假设之一,限制了可诊断性验证方法的应用范围.本文在去掉故障发生后无死锁假设的基础上,首先提出了标签可达图的概念和构建算法,其次提出了一种新的可诊断性验证算法来验证有界Petri网是否满足可诊断...     

基于Petri网的间歇式化工生产过程建模与调度监控器设计

针对间歇式化工生产过程,提出了一种基于Petri网的调度监控器设计算法.首先给出了间歇式化工生产系统的建模方法,并得到了其Petri网模型;其次将生产工艺描述为字符串控制目标;随后,给出在对象Petri网上设计工艺控制库所的方法,使得闭环系统满足给定的字符串控制目标;最后,利用某化工厂一种树脂生产过程的建模和调度监控问题验证了本文的方法.     

离散事件控制系统规则化描述方法的研究

离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方法和递阶DECS简约技术,从逻辑层角度,建立了一套规范、简洁、贴近自然语言和易于理解的DECS规则化描述方法。     

基于广义随机Petri网的轨道车辆门系统可靠性分析

轨道车辆车门系统的安全性和可靠性极为重要。采用广义随机Petri网建立轨道车辆车门系统工作过程的可靠性模型,描述系统的静态结构及动态运行过程;对该模型进行Monte-Carlo仿真计算,计算系统在各时间段的可靠性指标。研究表明,应用Petri 网建立的车门系统可靠性模型结构清晰,拓展性强,便于仿真实现,能够为车门系统设计及维保安排提供指导。     

模糊Petri网的活性分析

在基本Petri网理论基础上,基于模糊推理,对无环模糊Petri网的活性进行了讨论．给出了其关于活性的分级定义以及一种有效的活性判定方法,并对该方法的正确性进行了证明,最后通过一个算例验证了该活性判定方法的有效性.     

一种离散随机Petri网的性能计算和分析方法

为了有效地计算离散事件动态系统Petri网模型的时间性能,用一种离散扩展随机Petri网建立系统的性能模型,采用基于T-组件网的化简技术,结合等效延迟时间和概率分布不变的计算方法,求解和分析Petri模型的时间性能参数.实验结果表明,变迁不仅可以被赋予任意的延迟时间和概率分布,而且计算结果也具有很高的精度,为离散事件动态系统的建模和性能计算与分析提供了一种有效的数值化计算方法.