最大速度变化的连续Petri网(VCPN)的动态演变及性质判定

最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 VCPN的稳定的相区间 ,进一步对其性质给出了相应的定义及判定定理 .利用这些结论 ,可以对由 VCPN模拟的系统进行性能分析 .这种分析方法对某些系统利用

区间速率连续Petri网的有效冲突及其消解

有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续Petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。

企业生产与能耗过程模型及其仿真连续Petri网方法

为解决连续型企业生产过程能耗仿真的问题,研究了企业生产和能耗耦合关系,定义了主设备、主速率等相关概念。采用连续Petri网的方法建立了带信息参数的连续型企业生产与能耗过程模型。提出了一种针对企业生产计划进行生产调度排程仿真能源消耗过程的方法,并加以实例仿真验证。该方法在将物料分为原辅料、中间产品、外销产品、最终产品和排放五种类型的基础上,可以有效地模拟企业生产能耗过程中能源流、物料流和信息流,对连续型企业能源平衡和能源管理具有重要的辅助作用。

一类区间速率连续Petri网的可达稳态分析

连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous Petri Nets,简称ICPN)的可达稳态问题.通过分析区间速率连续Petri网的使能与引发语义证明了一类区间速率连续Petri网在最大引发模式下可达稳态的有关定理.研究表明这类区间速率连续Petri网在最大引发模式下其可达稳态及最终速率仅与各个迁移的区间速率有关,而与初始标识无关,从而避免了因构造演变图而产生状态爆炸的问题.

区间速率连续Petri网模型行为分析研究

讨论了区间速率连续Petri网模型的行为分析问题.通过划分标识等价类提出了任意标识下区间速率连续Petri网各个迁移瞬时引发速率的求解方法,并在此基础上给出了区间速率连续Petri网的行为演变算法.同时给出了区间速率连续Petri网行为演变的混杂自动机模型构造方法.应用例子表明了所提出行为分析方法的有效性.

最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续 Petri网 (CCPN)是由 David等最早提出的一类时延连续 Petri网模型 ,但并未对其性质给出确切的定义及相应的判定方法 .文 [1]中给出了 CCPN的演变图及其构造算法 .本文在给出 CCPN有关性质的定义的基础上 ,结合 CCPN的演变图 ,进一步对其性质给出了相应的判定定理 ,利用这些结论 ,可以对由

基于确定时间连续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网(CCPN)的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法,实现了CCPN的分解。为了保证通过子网分析原网的正确性,对合成网的动态不变性进行了证明,并证明了CCPN子网结构性质与原CCPN网性质的对应关系。最后以实例验证了通过子网分析原网的正确性。

最大速度恒定的连续Petri网(CCPN)的性质判定及分解

对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Petri网(CCPN)的两种分解,并证明了这两种分解保持网的一些结构性质.

含有效冲突的恒定连续Petri网演变图及构造算法

最大速度恒定的连续Petri网(CCPN)是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法。而对于含有效冲突的最大速度恒定的连续Petri网,由于有效冲突所引起的变迁激发的不确定性,使得构造演变图变得较为困难。基于有效冲突的两种解决方式——确定优先级或按比例分配流量,给出了计算各变迁瞬发速度的算法2;进而对含有效冲突且有界的CCPN,提出了演变图构造算法3,利用其演变图,可以对含有效冲突的CCPN进行性能分析。

区间速率连续Petri网的瞬时引发速率分析

瞬时引发速率（Instant firing speed，IFS）是连续Petrl网模型演变图构造的一个关键参数，其分析正确与否决定着区间速率连续Petri网模型行为分析的正确性．文献[8]仅对无有效冲突情形下的最大引发模式下的IFS进行讨论，未给出任意模式下的IFS求解方法．本文定义了区间速率连续Petri网的标识等价类，提出了区间速率连续Petri网在任意标识下的使能及其瞬时引发速率的有效分析方法；并对基于最大引发速率的有效冲突问题进行讨论，给出了基于优先级的最大引发速率的求解方法；最后给出相应的例子．

连续Petri网的死锁和陷阱结构性态分析

连续Petri网是用来分析和描述具有连续变量的系统,被证明是有效的建模工具。本文主要讨论连续Petri网死锁和陷阱结构的性质,并结合算例对此进行了说明。

基于常微分方程的城市交通网络分析

首先建立城市交通网络的连续Petri网模型,用一组常微分方程来描述其语义,每个常微分方程描述交通流量的变化,交通流量可由介于0和1之间的数值来度量,此度量值显示交通堵塞的程度。针对不同的交通流速分析了各路段交通流量状况,适当调整信号灯的点火速率可以缓解城市交通阻塞问题。最后着重分析了某路段发生事故时对其它路段交通流量的影响。该方法的好处在于在做系统分析时,可避开状态爆炸问题。

基于常微分方程的死锁检测实验分析

用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化,得到一种新的连续Petri网模型;在此基础上,建立系统的常微分方程模型;通过分析常微分方程组的解来检测系统中是否存在死锁.与传统方法不同点在于:该方法不需要遍历状态空间,而是分析一组常微分方程组的解.为了减少在求解常微分方程模型过程中的计算机系统的开销,作者还釆取了一系列优化策略.哲学家进餐问题被用来说明死锁检测的方法.大量的实验结果说明作者所提出的方法有着较强的静态分析能力.作为副产品,这种分析方法还可以用来判定系统的有界性.

ICPN的时间自动机构造方法

为克服Petri网行为演变分析技术的局限性,利用时间自动机技术分析区间速率连续Petri网(ICPN)特性。根据区间速率连续Petri网模型语义提出基于冲突消解的区间速率连续Petri网状态演变图构造算法,给出状态演变图的时间自动机构造方法。对某化工生产过程的分析表明了该方法的必要性和有效性。

基于模糊逻辑的CCPN瞬时引发速率求解方法

瞬时引发速率是连续Petri网模型分析的基础和关键。引入模糊理论提出了一种基于模糊决策的迁移优先权的模糊综合评价模型,实现了迁移优先权的动态计算。提出了基于线性规划方法的瞬时引发速率的求解算法,解决了有效冲突情形下瞬时引发速率的求解问题。实例表明了所提出方法的有效性。