一类混杂系统的广义Petri网模型

提出一种含有变形连续时不变系统状态方程的广义Ｐｅｔｒｉ网，并用它为一类混杂系统建模：宏观为Ｐｅｔｒｉ网；微观为变形的线性时不变状态方程．同时研究了所提出的混合状态的演变规则、运行轨迹和状态方程．

基于UML和Petri网的电力系统恢复模型

为了描述电力系统恢复过程,提出了基于UML的电力系统恢复过程建模方法,使用类图表示参与电力系统恢复的主要元件的静态特性,使用状态图表示各元件的动态特性。对所建模型进行了仿真和验证,提出了将UML模型转化为赋时Petri网的方法,将UML模型的操作转化为Petri网中的变迁,将UML模型中操作的输入、输出及约束表示为Petri网的库所。以IEEE RTS-96系统验证了所提方法的可行性,该方法易于对电力系统恢复过程进行模型化分析和软件实现。

Petri网描述的继电保护动作逻辑时序建模

Petri网理论具有完善的理论证明依据,是离散动态系统建模的有效工具。该文基于Petri网理论,介绍了一种新的继电保护建模思路。保护装置可以看成一个离散动态系统。利用Petri网中并行、冲突、资源分享等特性,对继电保护中的动作逻辑演化及二次回路动态进行描述,建立了保护装置的PN模型。最后就RCS-901A/B超高压线路成套保护装置进行了工作原理分析和性能评估,证明了所提方法的有效性。

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点,建立其广义微分Petri网仿真模型,将混合系统的仿真统一于同一建模框架下。在此框架下,离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成。通过对广义微分Petri网的仿真过程进行分析,给出了基于该模型框架的仿真算法,并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析,最后讨论了仿真系统的死锁及其避免问题。

基于着色赋时混合Petri网的精敏型供应链动态系统建模与仿真

精敏型供应链是精益型与敏捷型两种运作模式混合的动态系统。这类供应链系统的主要特点之一是把批量生产模式与定制生产模式有机结合,而且具有动态网络结构。批量生产活动呈相对较强的连续性,而定制生产活动以及订购、交付、运输活动则呈一定的离散性;同时,为了适应环境的变化,供应链成员实体的重组导致供应链系统结构具有动态性。因而可以将精敏型供应链看成是连续与离散状态混合的、结构可变的动态系统。根据上述考虑,针对汽车产品,提出基于着色赋时混合Petri网的精敏型供应链系统的动态模型,其中批量生产活动用连续Petri网描述,定制生产活动以及其它活动用离散Petri网描述,而结构动态重组用着色Petri网表达。仿真结果表明:着色赋时混合Petri网模型可以较好地描述精敏型供应链系统的运行机制和动态特性。

资源配置混杂Petri网的混杂系统生产过程动态调度

为了增强混杂生产过程应对突发事件的能力,以一种新的混杂Petri网(资源配置混杂Petri网)为研究模型,给出了相应的使能和激发规则.并在资源配置混杂Petri网建立的仿真模型的基础上,融入事件逻辑网和逻辑规划,提出一种适用于混杂系统动态生产调度建模和优化的方法.以典型的混杂生产过程为例,研究混杂系统生产过程建模及优化.研究结果表明,资源配置混杂Petri网模型描述能力强,能够有效描述混杂系统生产过程,所提出的动态调度方案切实有效.

基于混合Petri网的一类混合系统的动态分析

利用混合Petri网对一类典型的混合系统——模式切换系统进行建模和分析;提出模式切换系统动态平稳性的概念;给出了二维模式切换系统的平稳条件以及求解平稳点的算法,并用实例进行了说明。

基于流态随机Petri网的工业混合系统模型分析

工业中的混合动态系统模型所隐含的是连续与离散相混合的随机过程,使得对模型的数值分析和性能评价变得十分困难。针对此类系统,采用二阶流态随机Petri网进行模型的描述,将模型抽象为二阶偏微分方程组,并采用数值分析方法对模型进行求解。实例仿真表明,该方法能对工业中连续和离散相混合系统进行有效的建模与分析,具有重要实际价值。

一类规则调度系统的Petri网研究方法

研究了规则调度系统的性能分析问题。与传统的仿真研究方法比较，文中采用了基于Ｐｅｔｒｉ网的研究思路。首先运用Ｐｅｔｒｉ网给规则调度系统建模，得到调度规则的形式化表示；然后基于该模型作稳定性及其它性能分析；最后针对一类切换式规则调度系统，介绍了运用混合动态系统理论开展研究的具体思路。

应用微分Petri网分析汽车再生制动模式的切换

针对混合动力汽车再生制动模式切换过程中引起的混杂系统的动态变化难以控制的问题,利用混杂系统理论,分析了混合动力汽车制动过程中的离散事件和连续状态变量对再生制动模式切换的影响.基于给定的再生制动控制策略,建立了再生制动混杂系统的微分Petri网模型,在以往建模方法的基础上增加了对离散事件的单独刻画,实现了对再生制动过程中的离散事件和连续状态变量的综合建模.通过Matlab/Simulink/Stateflow建立再生制动数学模型,实现了对再生制动过程中离散事件和连续状态变量的综合仿真,完成了再生制动模式判断和模式切换过程,结果表明微分Petri网用于再生制动混杂系统建模是合理和可行的.

基于混合随机Petri网的一类混合系统的模型及稳定性

混合动态系统是包含离散事件系统 (DES)和连续变量系统 (CVS)的复杂系统 .讨论了一类每个离散状态包含一个连续动态系统 ,且离散事件具有Markov链性质的随机混合系统 ,在提出利用混合随机Petri网的建模方法的基础上 ,给出混合均方稳定的概念、稳定性和可镇定条件 。

混合动态系统的混合Petri网(HSPN)模型

针对混合动态系统，提出一种混合 Ｐｅｔｒｉ网（ Ｈ Ｓ Ｐ Ｎ）模型，分析了该模型具有的特点及其运行规则。以冶金加热炉为例，给出了该系统的 Ｈ Ｓ Ｐ Ｎ 模型。

离散、连续和混合Petri网的一致性描述

本文引入的混合动态系统的Ｐｅｔｒｉ网模型，以建立混合控制系统的整体Ｐｅｔｒｉ网结构，和Ｐｅｔｒｉ网上附加离散、连续和混合动态时描述的一致性与继承性为目标．令牌及其标记概念上的具体化，是统一多种动态描述的基础．权为零有向弧的引入简化了监控结构．依赖混合动态网建立复杂控制系统的整体Ｐｅｔｒｉ网模型，为采用Ｐｅｔｒｉ网理论进行系统的分析、验证和设计提供了基础．

物元Petri网建模方法及其应用

传统Petri网理论难以处理具有多属性对象复杂离散系统的建模问题,物元Petri网结合了物元理论能够很好地解决这一问题,是值得进一步研究并应用的新的复杂离散系统建模方法。将物元Petri网定义成一个5元组,借用物元的概念定义了物元托肯,建立了物元Petri网理论的运算规则,提出了物元Petri网并发及冲突的分析方法,并给出了建模步骤。以某设备从拆卸到修复的维修过程建模为例,给出了物元Petri网理论的应用示例。示例表明了物元Petri网在具有多属性对象离散系统建模中的优势。

Petri网的广义笛积运算

文[1]曾给出Petri网的两种合成方法,即P/T网的加法和笛积运算,本文再提出几种P/T网的广义笛积运算,这几种运算都较好地保持网的结构性质,对此给出实例,显示了它们在P/T网的合成与分析中的作用。

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

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

基于Petri网的混合动态系统接口层设计方法及其在热连轧中的应用

接口的设计是整个混合动态系统实现的关键。根据模块化的思想,提出了基于Petri网转换器的实现方法,并且设计了热连轧过程从数值到符号的转换接口,为下一步实现实时调度奠定了基础。

环境评价Petri网理论可移植性的方法学研究

从复杂系统、开放式巨系统仿真的角度分析,环境影响评价工程分析项目的系统属性为离散事件动态系统,而污染物的产生、排放过程属于随机过程,所以,需要采用复杂系统分析的方法对现有的环评工程分析理论进行改进。Petri网理论是分析离散事件动态系统的方法之一,其特点也非常适合对现今的环评工程分析方法进行改进。将Petri网的基础理论与环评理论相融合,使Petri网理论拥有了系统的环评学释义,进而为将Petri网理论引入环评科学开辟了道路。

制造系统建模中Petri网的工具和方法

本文概述了Petri网研究方面的一些最新研究结果.讨论了基于Petri网的一些建模工具.这些工具特别适合于制造系统的建模、性能分析、实时控制、系统可靠性分析等.文中还介绍了实际应用中所获得的某些结果.最后,提出了Petri网在制造系统建模中需解决的若干问题.

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

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