一类受控Petri网的反馈控制综合方法

讨论受控Ｐｅｔｒｉ网的一类禁止状态避免问题,该类禁止状态用广义互 约束的形式给出。     

基于网结构分解的Petri网分散监控器设计

不可控子网的复杂结构是目前Petri网监控难题的根源,该文提出了控制规范等价的网结构分解方法,将对象网分解为多个结构简单的新网,并且将控制规范等价转换到各新网上,从而将复杂的全局控制问题分解简化为多个简单的局部控制问题,进而采用库所不变量方法设计各局部最优Petri网监控器,实现复杂问题分散控制,有效地降低了Petri网控制问题的计算复杂性.最后以一个柔性制造系统为例验证和说明了上述方法.     

启发式搜索在时间Petri网的共享资源调度中的应用

离散事件系统的调度规划问题是计算机科学的重要研究方向。本文介绍了如何在实际中将启发式算法同时提高搜索效率的方法。这在计算机和通信领域的资源调度问题方面有着较大的实用价值。     

部分可观Petri网结构信息在故障诊断中的应用

针对离散事件系统的故障诊断问题,本文提出了一种基于部分可观Petri网结构信息的诊断方法.它包括两个部分,第1部分利用故障变迁的可诊断子网确定故障变迁的可诊断性.第2部分在故障可诊断的基础上提出一种在线故障诊断方法:首先,利用Petri网的几种基本子网来分析故障变迁的可诊断子网的结构信息;其次,根据给定的可观测变迁序列和可诊断子网的结构特征来描述子网内部托肯的流动形式;最后,定义故障函数,并结合具体实例来描述故障变迁的发生情况.该故障诊断的方法基于部分可观Petri网结构信息,无需遍历系统状态空间,免去多项式级的计算复杂性,能够满足实时性的要求.     

位置互连Petri网的分散与协调控制

本文引入位置互连Petri网,对能用位置互连Petri网描述的离散事件系统提出了一种分散与协调控制框架,在这个框架下,我们讨论了一类常见的禁止状态控制问题,给出了综合其量小约束协调控制的一种有效算法。     

Petri网的一类禁止状态问题的混合型监控器算法设计

针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题,给出了观测器的设计方法,并基于观测器得到了求解最大允许控制策略的算法.利用观测器将广义互斥约束简化为单禁止库所约束,并将存在不可控变迁的问题简化为相当于变迁全部可控的问题,这有效地解决了不可控变迁带来的计算复杂性问题.最后,利用一个地铁交通调度示例验证和说明该监控器设计方法.     

基于Petri网的离散事件仿真算法

本文介绍了一种基于Ｐｅｔｒｉ网的模型描述语言ＥＰＤＬ，并给出了Ｐｅｔｒｉ网与离散事件系统仿真相结合的算法。     

一类Petri网及其在离散事件系统的仿真与控制中的应用

设计和实现了一类Petri网--控制Petri网,基于控制Petri网,给出了离散事件系统的仿真与控制的算法和离散事件系统控制的实现方案,最后以柔性机床为例,演示了基于控制Petri网的离散事件系统的仿真与控制过程.结果表明,使用控制Petri网可以有效地模拟和控制离散事件系统.     

一种基于广义随机Petri网的分析器

广义随机Petri网在离散事件系统的性能分析中得到广泛应用.本文介绍了能对含禁止线、K有界的GSPN模型进行稳态分析的自动分析工具,此工具同样适用于SPN模型的稳态分析和PN模型的可达性分析.并给出使用本软件的例子.     

基于GMEC转换算法的Petri网结构控制器综合方法

针对含不可控变迁Petri网系统禁止状态控制器设计问题,提出了一种基于矩阵变换和整数线性规划的结构控制器综合方法。该方法的关键是对代表系统合法状态的广义互斥约束(generalized mutual exclusion constraint, GMEC)进行转换。首先,根据Petri网系统的关联矩阵,将库所集分为无关库所集、不可控库所集和补足库所集。其次,通过对非允许GMEC中补足库所的权值和不可控库所的权值进行处理,并运用整数线性规划将非允许GMEC转换为允许GMEC。在允许GMEC的基础上,根据库所不变量原理设计出Petri网系统的结构控制器。最后,以某零件加工系统为例验证了所提方法的泛用性和高效性,为实际智能制造系统的监督控制器设计提供有效参考方案。     

针对一般线性约束的Petri网控制器设计方法

针对基于Petri网离散事件系统关于标识向量和Parikh向量的不等式约束反馈控制器设计问题,提出一种新的控制器设计方法.该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,然后基于Petri网库所是关于Parikh向量的不等式约束的观点构造控制器.最后将该方法与Iordache和Moody提出的方法作比较,实验结果显示该方法更简单、有效.     

一类离散事件系统的监控器综合

前向无同步前向无冲突网是每个变迁有且只有一个输入库所并且每个库所最多有一个输入变迁的受限Petri网.针对不可控影响子网为前向无同步前向无冲突网的广义互斥约束,显式地给出了最大允许控制策略的计算方法.并用一个例子给予了说明.     

一类受控Petri网的状态反馈逻辑的综合

将Holloway和krogh关于受控标记图的禁态控制方面的结果扩展到更广泛的一类受控Petri网--不可控子网为前后向无冲突的受控Petri网,并去掉了关于初始标记和禁态规范的限制.     

离散事件系统的协调反馈控制

本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题,提出了以Ｐｅｔｒｉ网Ｎ为基网,设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ）,对Ｎ进行协调反馈控制的方法。由Ｎ现行状态反馈决定的ＰＮＩＰ的控制状态,既保证Ｎ避免禁止状态,又使Ｎ具有最大自由度。     

一种基于CIPN的网络协议建模方法*

基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性。给出了CIPN的定义,并讨论了CIPN的运行机制,证明了CIPN事件可观测性的充要条件。通过一个MACA协议作为示例,完成了从网络协议的一般CPN模型到CIPN模型的等价性转换,并利用CIPN的事件可观测性定理对MACA协议进行了事件观测性分析。     

一类受控Petri网的状态反馈逻辑的综合

将Ｈｏｌｌｏｗａｙ和Ｋｒｏｇｈ关于受控标记图的禁态控制方面的结果扩展到更广泛的一类受控Ｐｅｔｒｉ网──不可控子网为前后向无冲突的受控Ｐｅｔｒｉ网，并去掉了关于初始标记和禁态规范的限制．