基于受控混杂Petri网(CHPN)的分层优化模型及其在炼油厂氢气管理中的应用

提出了一种基于受控混杂 Petri 网(CHPN)的分层优化建模结构,并将其应用于炼油厂的氢气网络优化管理中。这种分层优化结构将 CHPN 建立的过程仿真模型同传统的数学优化方法紧密结合在一起,上层的数学优化模型根据经济指标寻求最优解,下层CHPN 在上层最优解的控制下运行,可以根据工厂的实际生产条件的改变在计划期内及时调整调度安排,并保证经济指标的最优性。炼油厂氢气平衡管理建模实例显示,通过该方法获得的炼油厂氢气平衡调度方案减少了炼油厂生产过程中氢气资源的浪费现象,提高了企业的经济效益。

一类受控Petri网的控制器设计(英文)

通过挖掘Petri网的内在的结构特性 ,获得了一种新的解决禁止状态避免问题的控制器设计方法 .这种设计方法适用于一类具有特殊结构的受控Petri网 (即所有前向路径子网是状态机 )的状态反馈控制器设计 .在非并发的假设条件下 ,所综合的控制器是最大允许 .

用受控有色Petri网解决水力机组组合中时间约束问题的研究

提出一种应用于解决水力机组组合中时间约束问题的受控有色Petri网模型.该模型能够直观地表达水力机组的启/停状况,并输出计算流量费用的开关量,将机组组合算法中面临开/停新机组时的约束判定和流量损失计算单独处理,为解决考虑时间约束的机组组合问题提供了新的辅助方法.

基于受控Petri网的物流实验系统的研究

随着控制系统的复杂化,传统的方法已经不能很好地用于描述离散事件系统(简称DES)了.为此,定义了一种受控Petri网(简称CPN),并对其中冲突事件的避免进行了探讨.针对物流实验系统中被控点数较多、控制过程也较为复杂的特点,利用CPN技术对系统进行建模,较好地解决了系统中存在的一系列协调、竞争以及并发事件,有效地避免了冲突事件的发生,同时对于系统的CPN模型利用PLC加以实现,并验证其正确性及其可靠性.

一类受控Petri网的反馈控制

受控 Petri网是离散事件动态系统 ( DEDS)的一种控制理论模型 .通过模型来研究实现禁止状态避免的最大允许反馈控制是 DEDS控制理论中的一个重要课题 .文中对受控 Petri网的一个子类 (非受控变迁子集的外延子网为 TC网 )讨论控制综合问题 ,给出求这类受控网中实现禁止状态避免的最大允许反馈控制的一个算法 .

基于受控 Petri 网的抽水蓄能机组工况转换控制——建模及实现

定义了一种受控Ｐｅｔｒｉ网，并对其中冲突的避免问题进行了探讨。针对抽水蓄能机组运行工况较多、工况转换复杂的特点，采用了受控Ｐｅｔｒｉ网技术对抽水蓄能机组的运行状态进行建模及分析，并用可编程控制器（ＰＬＣ）加以实现。

基于受控计时扩展Petri网的分拣系统建模

分拣系统中 ,由于操作人员的参与 ,可能导致被分拣货物和装箱清单不一致。这主要是由于上包控制和货包信息的同步跟踪不可控所造成。为解决这个问题 ,该文提出受控计时扩展Petri网 ,在此基础上对自动分拣系统进行了建模 ,并分析了操作人员的控制作用。实际应用表明 ,受控计时扩展Petri网为具有人参与的物流系统提供了一种良好的建模方法。

连续系统的受控连续Petri网模型

对于连续系统提出了一种受控连续 Petri网模型 .该模型充分考虑了系统状态的时变性质 ,在普通连续 Petri网的基础上 ,对连续变迁的激发速度及触发规则进行了重新定义 ,从而能直观地、充分地描述受控连续系统的演变 ,从而为混杂系统统一的 Petri网模型框架的建立提供了理论基础 .利用模型详细讨论了连续系统的时间最优控制问题的连续 Petri网描述 .

基于受控Petri网的需求追踪演化过程建模

需求追踪可以获得更加完备的系统需求,对软件的成功开发起到十分重要的作用。分析了需求制品间的可追踪性链接关系,定义了链接关系语义及其表示原语,对需求过程活动产生的制品进行追踪链接关系分析,用链接关系图表示制品间的约束、依赖、抽象及时序关系,找出活动中的需求变更点、变体及其变更因素,为需求过程开发活动制定相应的演化控制策略,并反馈到相应的需求活动中,控制需求过程开发活动演化。定义了受控Petri网Con PN,用Con PN对需求追踪演化过程建立形式化模型,反馈、迭代、增量演化需求过程活动,使需求过程更加成熟,同时,提高软件生产的质量和效率,增加涉众满意度。

采用受控Petri网的虚拟现实遥操作机器人系统模型

针对机器人遥操作系统分布式操作的特点,采用面向对象的虚拟现实建模方法构建系统的原型,使模型的复杂性不再与具体完成的任务有关.基于时序逻辑的推理规则,利用Petri网作为遥操作控制系统模拟与验证的工具,描述操作任务间的因果关系,并以共享控制模式为模型,描述遥操作控制系统的动态行为.最后,通过实验验证方法的合理性.

基于受控时间Petri网的车辆检测过程模型

针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网(Controlled Time Petri Nets)模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析。实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间。

DEDS控制理论模型──受控Petri网的网论语义

离散事件动态系统（ＤＥＤＳ）是复杂系统控制理论的一个重要学科分支。受控Ｐｅｔｒｉ网是控制理论界提出的一个ＤＥＤＳ模型。本文分析此模型的网论语义，以便把Ｐｅｔｒｉ网的研究方法和成果引入离散事件动态系统控制理论的研究。

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

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

受控Petri Net在遥控机器人作业规划中的应用研究

在交互工作方式下的遥控机器人在太空开发和深海勘探等领域具有重要的实用价值，而如何增强其自主作业能力是一个重要的问题．本文采用受控ＰｅｔｒｉＮｅｔ理论建立了遥控机器人的作业规划模型。

基于Petri网仿真的柔性生产调度——蚁群-遗传递阶进化优化方法

利用受控赋时Petri网对柔性生产线调度中的离散事件建模,此Petri网模型由过程流子网、资源子网和调度控制子网通过同步变迁连接而成.在由Petri网仿真运行获得调度性能评价的基础上,采用两级递阶进化优化方法求解柔性生产过程的优化调度问题.首先由蚁群优化方法优化加工路径,然后根据蚁群在信息素指引下所构造的加工路径,采用遗传算法优化在同一机器上加工的作业排序.应用蚁群优化原理提出了加工路径优化问题的信息素表达方式,解构造策略和信息素更新策略.一组测试问题的求解结果说明了算法的有效性和鲁棒性.

基于有色Petri网的逻辑电路仿真模型设计

提出了一种受控有色Petri网(CCPN)模型.该模型在有色Petri网的基础上对逻辑电路的拓扑结构和动态运行过程进行了形式化描述,给出了逻辑电路与CCPN的映射关系,引入了受控门函数集,并按照充分考虑逻辑电路特殊性和稳定性的激发规则,加入了有效的约定,较好地解决了逻辑电路仿真过程中电路拓扑结构难以有效描述的问题.在此基础上,给出了信号在模型中动态传递的描述性算法及其实现方法,并举例说明了基于该模型的逻辑电路仿真过程.

基于TSTWT网系统的显式控制器设计

在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构,目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其显式控制器,然而上述方法只是局限于库所层面的简化,而从另一个方向,即变迁层面的简化来扩展受控Petri网的显式控制器的设计,能够进一步解决最大不可控子网含环状结构后的显式控制器的求解难题。

Petri网系统中变迁的分级活性判定

活性(liveness)是Petri网的基本性质之一。从Petri网系统的有效(受控)可重复向量出发,给出一般Petri网系统中变迁为2级活或是3级活的判定依据。对于一个变迁t而言,t是二级活的,当且仅当存在一个有效(受控)可重复向量X,X有一个分量大于零;t是三级活的,当且仅当存在一个有效可重复向量X,X有一个分量大于零。最后,用实例说明判断方法的可使用性。

Petri网系统的公平性判定

一个Petri网系统的有效可重复向量的集合为CSX0∪CSX+,有效受控可重复向量的集合为CSX-∪CSX+-。本文给出了用有效(受控)可重复向量判定Petri网系统公平性相关问题的一个充分必要条件。任意的两个变迁ti,tj,则tj公平依赖于ti,当且仅当在CSX0∪CSX+∪CSX-∪CSX+-中不存在这样的向量X,使得X(j)>0且X(i)=0。最后,用一个实例展示结论的应用过程。

用Petri网模型处理机组组合问题的时间约束

把一种受控记时Ｐｅｔｒｉ网系统模型应用于具有时间约束的机组启停状态转换过程，在机 组组合的动态规划法中，既处理了冷、热启动费用和最小启停机时间约束，又减少了计算费用的 状态数，算法的效率将会大大提高．