混合状态Petri网及其在过程控制混杂系统中的应用

为了处理混杂系统的建模问题，提出了一种称为混合状态Petri网(HSPN)的混合Petri网，给出了HSPN的定义及其变迁规则。采用一个实际化工过程为例建立了HSPN模型，该模型可以用于混合控制器的设计，仿真结果表明了其有效性。本文还简要地讨论了HSPN的一些性质。     

基于混杂Petri网的食品加工生产过程建模

根据食品加工过程的混杂特性,提出了一种基于时延混杂Petri网与微分方程机理建模相结合的方法,并对某食品加工过程进行了建模和分析,其模型体现了连续过程和离散事件共存的特性,具有一般性.此模型可以应用于生产过程的优化调度.     

流体随机Petri网的混杂自动机模型

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.     

基于冲突判定的混杂Petri网模型行为分析

为了分析基本混杂Petri网模型行为,提出了基本混杂Petri网各迁移间的冲突判定定理,讨论了消解策略,并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证明了所提出定理的正确性,实例分析和比较说明了所提出算法的有效性。     

一类用于网变换的Petri网代数系统

针对现有的多数规则置换式与代数运算式网变换方法存在内容依赖、执行效率低与通用性差的不足,以代数结构理论为基础提出一种用于更一般性网变换的新型接口依赖的网运算代数系统,包括Petri网的基本节点与块的融合与衍生运算,扩展的库所与变迁接口网的并加、串加、减运算以及块接口网的合成与分解运算.并分析了网代数运算的封闭性、可结合性、可交换性等代数性质,然后将网代数应用于解决包含置换与分解过程的复合网变换中,显示了网代数的有效性.最后,分析总结了Petri网代数相对于现有的置换式与代数运算式网变换途径的优势.     

基于改进的网重写系统的Petri网逻辑控制器的自重构方法

提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。通过改进,克服了网重写系统的若干固有缺陷,提出了Petri网逻辑控制器的自重构方法,这种方法能保证重构中逻辑控制器的正确性,避免复杂的数学分析验证。通过可重构制造单元的实例演示了该方法,并验证了其有效性。     

用于描述排队系统的广义Petri网

本文推广了Petri网的概念。新定义的广义Petri网可用于描述排队系统,文中给出了用广义Petri网描述排队系统,即建立排队系统的广义Petri网的步骤,还给出了关于广义Petri网的一些初步结果。     

事件驱动系统的Petri网建模

 讨论一种事件驱动系统的建模方法,对基本Petri网作一定的扩充,使之具有描述事件/状态、控制结构和系统并行性的能力.     

一类模糊混合Petri网的交通信号灯的实时控制

针对固定周期的交通信号灯浪费道路资源的问题,提出一种模糊混合Petri网用于交通信号灯实时控制的建模方法。该模型结合本相位方向的排队长度和路口的车流量对本相位绿灯时长实时控制,再结合其他相位红灯时长和其他相位的排队长度,实时控制相序的变化。仿真分析表明,基于模糊混合Petri网对信号灯实时控制可最大程度降低车辆的停车次数。     

基于扩展Petri网的控制器设计与分析

定义了一类扩展Ｐｅｔｒｉ网及其引发规划，标志矩阵和关联矩阵，并基于矩阵－状态方程，构造了一种适于该网模型分析的启发式算法，提出了一种由表征系统的期望动态行为的令牌流构造系统控制器的设计方法，并用上述启发式算法对其进行了分析，验证，最后给出了实例。     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

基于混合状态Petri网的变结构决策组织设计

决策组织是一个混合状态的离散事件动态大系统，它适合于用该文提出的混合状态Ｐｅｔｒｉ网来建模。为了设计一个变结构决策组织，该文基于决策员的四阶段模型和决策员之间的交互关系，定义了一个称之为良定义网的初始集，并利用示性函数来描述良定义网中各连接的可变性。     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

柔性制造系统Petri网模型的化简

在一类S3PR网柔性制造系统Petri网模型N中,位置特殊资源不可能出现在网的严格极小信标和基本信标之中.因此,对于包含此类资源的网系统,为了缩小网规模,需要对其化简.化简算法对网模型进行处理,将位置特殊资源及相关操作库所、变迁和弧删去.同原网系统相比,最终得到的网系统具有较少的库所、变迁和较简单的网结构.     

城市道路交通仿真系统混合Petri网建模

城市道路交通系统是一个离散和连续相结合的混合动态系统，具有动态、并发及同步等特征，混合Petri网可以很好地描述城市道路交通网的静态属性及动态行为，为此给出了混合Petri网建模实例，并对模型进行了仿真运行分析，最后介绍了城市道路交通仿真系统的仿真策略与仿真流程图。     

基于CTCH网的批过程动态最优调度

采用动态规划的基本原理 ,给出了基于CTCH网模型的批处理过程的动态最优调度模型 ,并给出了相应的调度算法 ,最后以炼钢 -连铸生产系统的过程调度为例 ,对该算法进行了仿真     

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

面向对象Petri网的离散事件系统仿真建模

将Petri网技术和O－O技术结相合,利用消息驱动机制反增强其描述能力而形成对象Petri网（OOPN）,它用面向对象的方法建立系统整体框架,用有色Petri网描述对象,对消息驱动机制对象间传递消息,能较好地将0－O技术和Petri网结合起来,以实现仿真建模。