一类具有约束的赋时Petri网的鲁棒性研究

研究一类可以用(max,min,+)等代数运算描述的具有约束的赋时Petri网的性能鲁棒性.首先给出了此类Petri网的统一的代数描述,并将性能鲁棒性问题形式化.接着给出了参数区间摄动情形下性能保持鲁棒性的一个充分条件.对于仅包含(min,+)和(min,max)运算的特殊情形,得到了参数区间摄动情形下性能保持鲁棒性的充分必要条件.     

基于赋时分层着色Petri网的以太网系统建模

基于以太网响应时间的恰当的分析模型具有并发、动态、冲突、实时性等特点。传统的建模方法在解决这类问题时存在着复杂、僵化、柔韧性差、没有时间概念等缺点。赋时分层着色Petri网（HTCPN）通过增加请求、服务、协调、多实例化等新的建模元素,能够仿真和模拟基于实时性的客户枷服务器交互关系的问题,同时分层技术的引入也更 利于模拟任意结构的以太网模型。本文基于HTCPN建立了共享式和交换式以太网模型,通过对以太网模型响应时间的分析证明了HTCPN适合仿真和模拟这类问题。     

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

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

一类受控Petri网的反馈控制

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

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

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

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

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

基于赋时Petri网的景区游客分流研究

随着旅游规模的不断扩大,旅游高峰期庞大的客流量给景区热门景点的管理工作带来了巨大的压力和挑战。针对景区高峰期游客在热门景点超载和游客分布不平衡的问题,以游客在景区中的动态游览为基础,提出了赋时Petri网的游客分流模型和四种分流策略。在以游客满意度以及景区负载率方差为评价标准下,通过仿真实验来分析不同策略的优点和不足,并对不同评价标准提出合适的策略,对于景区的游客分流管理具有实际的参考价值。     

基于平行Petri网的制造系统调度与控制一体化方法

为了消除制造系统调度层与控制层之间的隔阂, 实现对生产事件快速灵活响应, 本文提出了一种调度与控制一体化的方法. 首先, 定义了一种新型Petri网模型, 即平行Petri网, 从而集成地描述了传感器、执行器、任务和资源信息, 构建制造系统的信息物理系统模型; 其次, 提出了一种从平行Petri网到赋时Petri网的抽象简化方法, 大规模压缩优化调度所需搜索的状态空间; 再次, 定义了策略Petri网以描述最优调度策略. 最后, 给出了平行Petri网与策略Petri网同步执行算法, 使得平行Petri网与物理系统同步执行.     

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

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

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

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

基于时间Petri网的实时系统低能耗高层综合

以时间Petri网为模型,验证系统功能性和实时性,在此基础上,提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法,并针对一类特殊形式的网模型——可组合时间Petri网,设计了相应的简化算法．实验说明,上述算法时间复杂度低,且优化效果接近最优值,能够为实时系统低能耗高层综合提供有力支持．     

一类受控Petri网的基于管程的广义互斥控制

本文讨论受控Ｐｅｔｒｉ网的广义互斥控制问题。首先，我们给出了此问题存在管程最小约束控制解的充要条件，然后，对一类其不可控 子网为有限状态机的受控Ｐｅｔｒｉ网，证明了其广义互斥控制问题总存在管程最小约束控制解，并给出了综合这一管程的控制的算法。     

Control Synthesis of Petri Nets Based on S-Decreases

A method for constructing a controller for a discrete event system modeled by a Petri net is presented in this paper. The control specification of the system is given by a set of linear inequality constraints defined on the marking of the net. The controller that forces the net to obey the constraints is an extended Petri net, which is synthesized based on minimal support S-decreases. The method can deal with general Petri nets with uncontrollable transitions, and then provides a systematic way for synthesizing net-based controllers for discrete event systems.     

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

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

基于时间Petri网的舰空导弹发射控制软件安全性分析

文中借助时间Petri网出色的图形表达能力和对动态行为的描述,在Tina工具辅助下完成了对舰空导弹发射控制软件建模和安全性分析,分析了高风险状态的可达性,考虑到软件时效对安全性的影响,提出了一些改进建议以避免高危状态的出现。     

一种构造时间Petri网状态类的方法

提出一种基于全局时间的时间Petri网状态类构造方法——扩展时间戳状态类方法。该方法通过添加变迁的同步使能信息到时间戳状态类,并修改可实施条件和实施规则,解决了时间戳状态类方法中同步使能变迁的可实施性问题。     

模拟实时系统的点区间优先级时间Petri网与TCTL验证

时间Petri网为实时系统提供了一种形式化的建模方法, 时间计算树逻辑(TCTL)为描述实时系统与时间相关的设计需求提供了一种逻辑化的表达方式, 因此基于时间Petri网的TCTL模型检测广泛应用于实时系统的正确性验证.然而对于一些涉及优先级的实时系统, 例如多核多任务实时系统, 这里不仅需要考虑任务之间的时间约束还要考虑任务执行的优先级以及引入优先级带来的抢占式调度问题, 致使相应的建模和分析变得更加困难.为此, 本文提出了点区间优先级时间Petri网, 通过在时间Petri网上定义变迁发生的优先级以及变迁的可挂起性, 从而可以模拟实时系统的抢占式调度机制, 即首先高优先级的任务抢占低优先级的任务所占用的资源, 导致后者被中断, 然后前者执行完毕后释放资源, 最后后者再次获得资源从中断的地方恢复.本文通过点区间优先级时间Petri网来模拟多核多任务实时系统, 使用TCTL来描述它们的设计需求, 设计了相应的模型检测算法, 开发了相应的模型检测器以验证它们的正确性.我们通过一个实例来说明我们的模型和方法的有效性.     

一种随机Petri网模拟系统时延分析的新方法*

本文首先引入了时延网和闭网的概念,证明了Petri网N为时延网的充要条件是其闭网为常返网;然后,从时延网模型出发,讨论了变迁发射时间为任意分布的随机离散事件系统时延特性的求取方法,给出了时延密度的计算公式。