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

四四论 文又 连续Petri网的死锁和陷阱结构性态分析 惠秀 李承家 (杭州 电子科技大学理学院) 摘要 ：连续Petri网是用来分析和描述具有连续变量的系统，被证明是有效的建模工具。本文主要讨论连续 Petri网死锁和陷阱结构的性质，并结合算例对此进行了说明。 关键词：连续Petri网；死锁；陷阱；结构性质 的权重；Post：PXtQ+是指输出有向弧的权重； 1引言 m0：PR+是初始标识，其中Q+、 +分别指非负 连续Petfi网作为Petri网的一个重要分支，它的 有理数和非负实数 。。t和f分‘别表示t的前集库所和 概念和相关理论由David[1]等人于 1987年首次提出。 后集库所；。P和P’分别表示P的前集变迁和后集变 连续 Petri网建模优点是它的库所的标识可以是非负 迁；t表示由变迁集f中的变迁组成的所有变迁序列 的任意实数，这样可以用连续 Petri网近似逼近原型 (包括空序列)的集合。 Petri以减少状态数 目，从而解决原型 Petri网的可达 定义2．2 连续Petri网的变迁发生规则： 状态爆炸问题。连续Petri网可分为自主连续Petri网 (1)若对 于 网系统 中的 ∈f‘，，且满 足 (AutonomousContinuousPetriNet，ACPN)和时间 m(p，)0，则变迁t，在标识m下可 以满足条件 连续Petri网 (TimeContinuousPetriNet，TCPN)2【J。 0g(m,tj)≤min( ) 的 任 意 发 生 量 近年来很多学者致力于连续Petri网系统相关的研究， 见参考文献[3】、[4】。本文主要研究具有死锁和陷阱结 q(m，t)发生。 构的连续Petri网的性质。 (2)若对于网系统中的任意变迁t在标识m下 随着人们对连续Petri网研究的深入，连续Petri 以q(m，t)的发生量发生后所得到新的标识为m。(记 网已经在实际领域如生产制造系统、流体系统、转换 为m[t，，q(m，t，)m’)，则 线系统5【J等得到广泛的应用。这些系统在设计过程中 m(Pi)一q(m，tj)， ∈。tj—t，。 通常要对其性能进行分析和预测，而对系统结构方面 m(p，)+g(，tj)xPost(p，，tj)， ∈tj。一’tj。 m )= 性质的分析就更加重要。本文以具有死锁和陷阱结构 m(Pi)一q(m，tj)+q(m，tj)xPost(p，tj)，都 ，Etj。nt， 的原型 Petri网为基网，配置任意的库所标识，研究 m(p)， 其他 具有死锁和陷阱结构的连续 Petri网在运行过程中的 死锁和陷阱是 Petri网系统中两种特殊的库所子 拓扑结构性质。 集，关于死锁和陷阱的研究已经取得了大量的成果， 2连续Petri网的定义及相关概念 主要可参考文献[7]、[8]。