一类具有约束的赋时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网的堆垛机建模与调度研究

为了直观、简洁地研究AS/RS中的堆垛机运送系统,应用着色赋时Petri网（CTPN）建立了其动态模型。同时针对原有系统的不足,提出了基于双队列缓冲的堆垛机控制策略及双循环作业方式的路径优化策略,从而缓解了该系统中可能产生的阻塞现象,提高了堆垛机运送系统和出入库站台的效率,这对保证出入库的高效、正常、有序的进行有着重要的意义。     

一类受控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网状态类构造方法——扩展时间戳状态类方法。该方法通过添加变迁的同步使能信息到时间戳状态类,并修改可实施条件和实施规则,解决了时间戳状态类方法中同步使能变迁的可实施性问题。     

An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches

In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the state-space of the system, modeled as a time Petri net with stopwatches, exactly and efficiently, by the use of Difference Bounds Matrices (DBM) whenever possible and automatically switching to more time and memory consuming general (convex) polyhedra only when required. We propose a necessary and sufficient condition for the need of general polyhedra. We give experimental results comparing our implementation of the method to a full DBM over-approximation and to an exact computation with only general polyhedra.     

基于时间约束Petri网的工作流动态一致性检验

工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上,根据时间约束推理规则,提出一种动态修改时间约束时检验工作流一致性的方法,从而丰富了工作流的时间管理功能。     

State Observer for DES Under Partial Observation with Time Petri Nets

This paper deals with a state observation approach for Discrete Event Systems with a known behavior. The system behavior is modeled using a Time Petri Net model. The proposed approach exploits temporal constraints to assess the system state and therefore detect and determine faults given partial observability of events. The goal here is to track the system state and to identify the event scenarios which occur on the system. Our approach uses the class graph of the Time Petri Net which models the complete system behavior to develop a state observer which is a base to perform online fault detection and diagnosing.

时间Petri网弱语义模型的形式化分析

时间Petri网存在强语义和弱语义两种模型,弱语义模型更适合建模和分析外部环境触发的冲突选择问题,但其形式语义和可达性分析方面的研究,却很少有人问津。利用带标号的变迁系统定义时间Petri网弱语义模型的形式语义,采用时间戳状态类方法分析它的可达性,并证明了可达性问题的可判性和状态类时间戳的全局时间性质。