基于赋时Petri 网的化工批处理建模与控制优化

分析了化工批处理过程的特点,以过程设备为核心将整个过程操作划分为若干个子进程,用赋时Ｐｅｔｒｉ网来建立以子进程表示的批处理过程,并提出启发式动态 经自救对过程进行控制。仿真结果表明,基于赋时Ｐｅｔｒｉ网模型与启发式动态 经算法的Ｐｅｔｒｉ网控制器,不仅能准确描述批处理过程的同步、并发及资源工人享关系,而且Ｐｅｔｒｉ网的运行能给出过程生产的最优控制序列。     

基于赋时Petri网描述的多产品间歇过程调度研究

生产调度是多产品间歇生产过程中的一类重要问题。赋时Perti网技术是求解此类问题的一种有效方法。本文给出了复杂中间存储策略下间歇化工过程生产调度的描述方法,包括：无限存储策略UIS、有限存储策略FIS、无中间存储策略NIS和混合存储策略MIS。同时给出了调度求解的修正分支定界和赋时Petri网执行（MBBTE）算法,并通过实例说明了算法的有效性。     

基于时间Petri网优化设计单杂质间歇过程用水网络

近20年来,间歇过程用水网络的研究得到了人们的广泛关注,并取得了一定的发展。以往对间歇过程的水网络集成研究多采用图解法和数学规划法,图解法无法解决与水质、水量无关的目标或约束,数学规划法计算复杂且较难确定最优解。Petri网具有直观的图形表现能力和严密的数学基础,并且具有强有力的分析技术与手段,非常适合于系统的描述和分析。同时时间Petri网是在Petri网的基础上加入时间因素,可用来建立间歇系统的动态模型。故针对半连续间歇化工过程的单杂质用水网络,本文提出了基于时间Petri网建模的方法,分别对有中间储罐和无中间储罐间歇用水网络进行了研究,首先采用水级联分析法构建了夹点分析通用模型,能够快速准确地确定用水过程的水夹点位置和最小新鲜水需求量。然后根据Petri网的逻辑表述能力、动态传播特性、自主学习机制以及水网络设计原则、水网络综合基本原则和水源匹配规则建立了水网络综合Petri网通用模型,对有中间储罐的情况还确定了中间储罐的位置、数量与容量,实现了单杂质间歇过程用水网络的优化设计。最后对文献中实例进行了研究,得到的夹点位置、新鲜水用量以及用水网络与文献中一致,表明提出的方法是可行和有效的。该方法模型简单、直观,避免了水级联表格的繁复计算,拓展了Petri网在过程领域的应用。     

采用时间约束Petri网分析优化广电过程模型

企业过程模型评价效果很难通过简单途径取得定量的对比分析结果,本文提出时间约束Petri网理论,在企业过程模型的主要指标采用Little转化为以时间为主的评价体系的基础上,研究采用时间约束Petri网建模对企业过程模型分析的方法和分析优化步骤,并针对广电网络过程模型的具体流程给出的实际案例加以形式化分析,得出优化的方案.     

间歇式化工系统的Petri网优化调度与控制方法

为了解决复杂间歇式化工系统的优化调度和控制问题,提出了一种基于Petri网的优化调度与控制方法:首先,根据加工工艺,建立加工过程的赋时Petri网模型;其次,根据间歇式化工生产对象的拓扑结构,在该赋时Petri网模型中引入阀门系统的网结构,从而获得系统的受控Petri网模型;最后,利用可达图来计算加工时间最短的控制策略,借助网结构信息,得到了控制策略的阀门控制矩阵,并用一个示例演示验证了本文方法.     

间歇生产过程中离散事件的Petri网建模与协调控制

将Ｐｅｔｒｉ网用于间歇生产过程中离散事件的建模，讨论了离散事件活动的顺序、同步、资源共享竞争协调控制问题。文中同时给出了一个间歇精细化工过程的例。     

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

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

基于HPN模型的化工间歇过程动态特性分析

混合Petri网是一种数形结合的建模工具,可以表示离散事件系统和连续时间系统在同一层次的直接交互。该文在给出HPN基本概念、IFS向量和相图分析方法的基础上,针对一个具体的化工间歇过程,建立HPN模型和相图,系统描述了这个化工过程的混杂动态特性。结果验证了本方法的可行性和有效性,为化工间歇过程的建模、仿真和分析提供了一种新途径,具有较高的理论和应用价值。     

模糊时间Petri网的时间推理及其在过程监测中的应用

针对传统分析方法的不足,提出用线性逻辑给出模糊时间Petri网描述和时间推理的方法。该方法能清楚地分析模糊时间Petri网的运行行为,具体例子说明了其在系统过程监测和诊断中的应用。     

基于混杂系统Petri网模型的化工生产开车过程描述

研究了基于递阶模型的混合动态系统描述方法，针对化工生产开车过程，建立了由协调层和监控层组成的递阶模型结构，根据各层的动态特性，分别采用了赋时Petri网和混合Petri网进行了具体的描述。并以合成革生产DMF溶剂回收开车过程为例进行了具体的讨论。     

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

基于赋时有色petri网的维修过程模型

维修过程模型是研究维修保障系统结构与运行的基础。petri网模型具有直观、形象的优点,又是严格定义的数学对象,既可用于静态的结构分析,又可用于动态的行为分析,具有灵活的建模和强大的系统性能分析能力,是描述维修过程的有力工具。该文介绍了petri网方法的有关概念、特性。假定了典型的维修资源配置环境,对维修资源进行了分类。描述了典型的维修过程,应用赋时着色Petri网建立了维修过程的petri网模型。文章最后讨论了模型的应用。     

基于TdPN的中小流量交叉口信号控制研究

针对城市中小流量交叉口交通拥堵问题,提出了一种基于时延Petri网(Timed Petri Net, TdPN)的可变相序信号控制模型。利用TdPN建立交叉口车流模型和信号控制模型,结合马尔可夫链,建立交通流的动态生成模型。通过将通行权赋予当前等待车辆数最大的相位来实现相位的随机选择。以平均延迟时间最小为优化目标,通过遗传算法求解最优相位配时。在信号周期固定的情况下,分析基于TdPN的四相位可变相序控制模型在不平衡交通流下对交叉口平均排队长度的影响,并将此模型与四相位固定相序控制模型进行对比。研究结果表明,该方案在单位时间内有效地减少了交叉口的平均排队长度。     

基于时延Petri网的DEDS的代数模型

用一种新的算子建立了结构无竞争时延Petri网和资源分配型时延Petri网的动态方程,为该类系统的分析和控制提供了研究工具.     

时间Petri网在渗透测试中的应用

渗透测试攻击模型作为渗透测试的重要环节,受到学术界和工业界的共同关注。现有的渗透测试攻击模型未考虑渗透测试攻击过程中的动态参数,无法描述漏洞的发生时间。本文以漏洞为基本单元,以时间Petri网中库所的时间区间表示漏洞的发生区间,构建以时间Petri网为基础模型的渗透测试攻击模型。首先,将漏洞列表作为输入来构建单漏洞模型;然后,将单漏洞模型集合通过模型整合算法形成完整的渗透测试攻击模型;最后,给出渗透攻击路径选择算法,并通过模拟实验验证本文所提渗透攻击路径选择算法的有效性。     

Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics

A new low-and-high gain algorithm is presented for tracking control of a subclass of timed continuous Petri Net (contPN) systems working under infinite servers semantics. The inherent properties of timed contPN determine that the control signals must be non-negative and upper bounded by functions of system states. In the proposed control approach, LQ theory is first used to design a low-gain controller such that the control signals satisfy the input constraints. Based on the low-gain controller, a high-gain term is further added to fully employ available control energy, and control performance can be improved consequently. In order to guarantee global tracking convergence and smoothness on the tracking target, a mixed trajectory (state step and ramp) is used instead of a pure step reference signal. The new tracking target is designed to ensure the existence of the low-gain controller and possible fast system response concurrently. Rigorous proof based on Lyapunov function is provided to guarantee that for a conservative and strongly connected Join-Free (JF) timed contPN system, the proposed algorithm can ensure the global asymptotical convergence of both system states and control signals.

人事档案管理系统及其时间Petri网工作流模型

该文介绍了分布式企业人事档案管理系统,用时间Petri网表示了档案管理系统的工作流模型,讨论了与时间有关和操作概率分布不同的工作流模型的性质,并对基本模型进行时序分析。利用线性时间推理规则,在线性时间复杂度内解决时间推理问题。并根据给出的系统每个操作的概率,求出了在不同时间区间内系统处理不同事件的概率分布。进而对系统进行分析。     

基于可达标识列计时Petri网的时态特征及可控性研究

应用时态逻辑提出计量Ｐｅｔｒｉ网的形式化分析方法,基于可达标识列研究受控系统的时态特征及其可控性与控制不变性,给出控制逻辑存在的充要条件,提出了时态公式分解方法,并讨论了禁止状态避免问题。     

Invariants of Timed Petri Nets

A linear fundamental equation for a timed Petri net is constructed. Full and partial invariants of state and behavior of a timed Petri net are introduced. Properties of invariant nets are analyzed. Interrelations of full and partial invariants are shown. Examples of analysis of net models of production systems and processes are described.