Petri网死锁的求解算法

本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死锁,并适当的通过举例来说明问题.根据Petri网的相关结构性质,初步得出了T-不变量、可重复向量、死锁的关系,给出了T-不变量和可重复向量的求解算法,以及对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网自身的特色——token标记,增加了文法推导过程的动态信息——token信息流.     

基于SPN的IMS系统可生存性建模及分析

IP多媒体子系统(IP multimedia subsystem,IMS)作为网络与业务融合的标准将会在三网融合中扮演重要的角色,因此研究其认证注册过程的可生存性具有重要意义.文中首先给出可生存性概念与评价指标以及I.MS的认证注册过程,然后建立相应的随机Petri网(stochastic Petri net,SPN)模型和简化的可生存性SPN模型,并给出可生存性的主要指标——可靠性、可维护性及可用性.对所建模型的可靠性及可维护性评价指标进行了仿真,表明可靠性分别随时间及失效率的增加而显著降低,可维护性随时间及修复率的增加而明显增强并最终趋于稳定.这些结论为增强IMS系统可生存性能力提供了有效的数值参考依据.     

着色Petri网的混杂系统仿真平台构架

提出一种以Petri网为仿真进程控制,以着色Petri网与Matlab交互为主题的混杂仿真跨平台构架. 该仿真构架通过运用和扩展着色Petri网中替代变迁的概念,结合融合库所和折叠功能,实现了混杂系统的复杂逻辑建模和连续系统内嵌. 同时,着色Petri网的分析功能在一定程度上缓解了逻辑结构复杂的混杂系统检验困难的问题.最后通过一个混杂系统实例的建模与仿真分析,验证了该平台的可行性与逻辑检验的有效性,为复杂混杂系统的建模与仿真提供了一条新途径.     

互联网和社会网络中的信息交互传播模型

WS或BA等复杂网络模型可描述各类真实系统的拓扑规律和复杂性。而Petri网在处理系统内部通信和控制方面则具有特殊的优越性．本文结合广义随机Petri网和BA模型构造了一个可描述信息在互联网和社会系统中交互传播的复杂网络模型．     

异地电源制造中的动态访问控制研究与应用

基于异地制造系统的信息流动特点,在传统的访问控制矩阵基础上,提出了一种基于Petri网工作流的动态访问控制策略,给出了其访问规则和矩阵形式,并以一个方案评审工作流系统为例,说明了该方法的应用.     

一些复盖性质

给出了复盖性质的如下结果：（２）具有可数高度的δθ－加细空间是弱＾－δθ－加细空间；（２）空间Ｘ是亚紧的当且仅当它是几乎离散可膨胀且弱＾－θ可加细；（３）在ＰＭＥＡ假设下，第一可数仿紧Ｔ２狭义次拟仿紧空间是防紧空间。     

一类六点八边图的图设计

设Kv是一个v个点的完全图，G为Kv的一个不含孤立点的简单子图．Kv的一个G-设计，常记为（v，G，I）-GD，是指一个二元组（X，B），其中x为Kv的顶点集，B是Kv的一些子图（亦称为区组）构成的集合，使得每一个区组与G同构，且Kv的任何一条边恰在B的一个区组中出现．文章讨论了一类六点八边图中尚未解决的3个图G（i=1，2，3）的图设计存在性问题，并证明了（v,Gi，1）-GD（i=1，2，3）存在的必要条件v=0，1（mod16）且v≥16也是充分的．从而给出了这类六点八边图图设计存在的完全解．     

Banach空间的k-w可凹点

引入k—W可凹点的概念,讨论了这类点的一些性质并且证明了若X是自反的Banach空间,则X是k-严格凸的充分必要条件是S（X）上的每一点均是单位球面U（X）的k-W可凹点．     

一类具有非线性异号源项波动方程的初边值问题

研究具有两个异号非线性源项波动方程的初边值问题utt+Δ2u+αut+a|u|p-1u-b|u|q-1u=0(α0,a0,b0).该方程用以描述具有两个性质相异的源作用下的物理系统.利用Galerkin方法证明了若1≤n≤4时,1qp∞;n≥5时,1qpnn-+44,u0(x)∈H02(Ω),u1(x)∈L2(Ω),则问题存在一个整体弱解u(x,t)∈L∞(0,T;H20(Ω)).     

双参数指数分布顺序统计量的概率分布性质

设[Xk,1≤k≤n]独立同分布,X（1）≤X（2）≤…≤X（n）为其顺序统计量,当总体服从双参数指数分布exp（μ,σ）时,得到了其顺序统计量的联合概率密度函数和极端顺序统计量的密度函数,进一步得到X（1）和X（n）的期望与方差的表达式.此外还证明了样本间距X（1）,X（2）-X（1）,…,X（n）-X（n-1）独立不同分布,利用样本间距构造一组独立同分布的指数分布exp（1）,借助顺序统计量还构造了x2和F两组概率分布.最后研究了统计量极差Rn=X（n）-X（1）的概率分布.     

A6的连通5度Cayley图的正规性

如果G△Aut（X），则称Cayley图 X ＝ Cay（G ，S）是正规Cayley图。该文证明了，在同构意义下，所有A 6的连通5度非弧传递Cayley图中只有22个图是非正规Cayley图；最后，得到了A 6的连通5度非弧传递Cayley图的一个完全分类。     

可修系统的Petri网模型及其分析

该文可靠性理论引进到Ｐｅｔｉｒ网中，建立可修系统的Ｐｅｔｉｒ网模型，并给出了系统模型的分析方法。通过对一生产系统的模拟，说明该工作的必要性。     

度量空间的紧覆盖π的（P）映像

本文建立了度量空间的紧覆盖π的（P）映像的内在特征,即证明了X是度量空间的紧覆盖π的（P）映射下的像当且仅当X具有性质（P）的紧有限分解的点星网.     

Petri网:概念、分析方法和应用

Ｐｅｔｒｉ网以图形化的方式直观地描述了离散事件系统的各种关系和行为,且以网络理论和代数理论等作为数学基础,可方便地分析离散事件系统的各种特性．更由于其形式化的描述方法,能够直接由模型转化为代码实现对系统的控制．因此在计算机系统的建模、分析和控制综合中得到广泛应用．本文介绍了 Ｐｅｔｒｉ网的基本概念、特点、分析方法及其应用．     

Banach空间值的It(o)积分及其性质

设(Ω,(∮),{(∮)t}t≥0,P)为过滤概率空间,X,Y为Banach空间,{Mt}t≥0为Banach空间X值的连续(P,{(∮)t}t≥0)一鞅;f(·,·):[0,∞)×Ω→(∮)(X,Y)为连续算子值的随机过程f(s,ω)s≥0.给出It(o)积分∫t0f(s,ω)dM,的定义,并证得It(o)型不等式,...     

环的强零因子图的一个注记

一个环R的一个元α叫做一个强零因子,假如对R中的某个非零元b,有〈α〉〈b〉=0,或者〈b〉〈α〉=0（其中〈x〉是由x∈R生成的理想）．在该文中,用S（R）表示所有强零因子的集合．对于任意的一个环r,用^~Г（R）表示一个无向图,它的顶点集是S（R）^＊=S（R）-{0},其中两上不同的顶点α和b相连当且仅当〈n〉〈b〉=0或者〈b〉〈α〉=0．该文主要研究质环直积的强零因子图的团数．