阻塞呼叫控制机理广义随机Petri网建模与分析

基于广义随机Petri网(GSPN),对数字交换机面临过载时的一种阻塞呼叫控制机理进行了描述与分析,建立了其广义随机Petri网模型。通过对模型求解、构造可达图及同构Markov链,推导出了这种控制方式下系统性能的解析结果,给出了它们与控制严密程度之间的关系,从而为定量分析和评价数字交换机过载控制特性提供了依据。     

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

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

广义随机Petri网对交换机过载控制机理研究

在分析阻塞呼叫控制机理的基础上,用广义随机Petri网(GSPN)对数字交换机中另一种常用过载控制机理——延时呼叫控制,进行了描述与分析,建立了其GSPN模型。通过对模型求解,得出了采用控制后系统性能的解析表达式,以及与控制严密程度之间的关系,从而定量分析并评价了这种控制机理的控制特性。最后,对两种控制机理的结果进行了比较。     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

基于Petri网的分布式网络单元流量优化

建立了基于Petri网的分布式网络基本模型DNMPN,实现了分布式计算机网络的基本功能,并在此基础上提出了流量优化的Petri网分布式网络模型DNMPNTO,改进了基本模型的重复转发问题。DNMPNTO具有很好的可扩展性,有效地优化了网络单元的流量,提高了网络系统的效率,适用于建立大中型分布式网络系统。     

基于混合Petri网的单点信号优化感应控制

为研究单交叉口交通信号感应控制问题,建立由连续Petri网描述交通流和离散Petri网描述交通信号控制的混合Petri网模型。根据连续Petri网的离散化方法,以连续Petri网中的参数为基础,提出各个相位车辆总停留时间的计算方法。为优化各个相位的绿灯时间,以车辆总停留时间最小为目标建立优化感应控制模型,并进行仿真计算。研究结果表明:采用基于混合Petri网的优化感应控制方法时,4个相位的车辆平均延误分别为18.19,15.65,14.88和15.24 s,与基于混合Petri网的一般感应控制方法、基于离散Petri网的感应控制方法相比较,平均延误的最大缩短率分别为26.26%和38.33%。基于混合Petri网的优化感应控制方法可以较好地实现单点信号控制。     

用蒙特卡罗和Petri网方法估计随机流网络的可靠性

提出一种估计随机流网络可靠性的基于蒙特卡罗抽样和Petri网建模仿真的MCPN方法.该算法以蒙特卡罗方法为基本框架,通过蒙特卡罗抽样来模拟网络系统的随机性.对于随机抽取的网络状态,通过Petri网仿真计算相应加权图的最大流量,判断其是否为有效状态.仿真结果表明,Petri网方法是一种有效的计算加权图最大流量的方法.     

基于广义随机Petri网的MVB网络吞吐性能分析

基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具.     

基于Petri的分布式网络流量优化

基于Petri网建立一种分布式流量优化模型,解决了网络的重复转发问题,并在此基础上,结合线性规划方法,实现了网络流量流向的多目标控制,有效提高了网络质量.     

随机数学在计算机随机Petri网模型变迁化简技术中的应用

用随机数学方法，推导出计算机随机Petri网中时间变迁的串联、并联及选择结构模型的性能等价公式，为随机Petri网模型的化简提供了一个有效的手段。     

基于时间-有色Petri网的电梯系统的建模与分析

根据时间Petri网和有色Petri网的知识，提出了基于时间-有色Petri网（TCPN）的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度，控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。     

基于FHPN的道路交叉口交通流信号实时控制优化研究

为了合理控制道路交叉口的交通流,结合模糊时延Petri网、连续Petri网和模糊推理Petri网这3种Petri网的优势构造了模糊混合Petri网,以此来建立一个FHPN模型并把它用于道路交叉口交通流信号实时控制.通过实例仿真分析了FHPN模型的有效性,能够实时控制交叉口的运行情况,最大程度地利用道路资源且大幅度地降低了交叉口的停车次数.     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

基于Petri网的工作流并行算法的研究

为了模拟企业工作流的业务流程,实现企业业务过程的自动执行和监控,提出了一种新的工作流Petri网模型及其并行算法。(1)根据工作流系统和Petri网模型的特点,给出了工作流模型与Petri网的映射关系;(2)对基于Petri网模型的四种工作流网基本模型进行并行性分析,提出了一种新的工作流Petri网并行模型;(3)结合Petri网并行划分算法和新的模型进行融合与优化,提出一种新的工作流并行优化算法;(4)以应用实例对工作流并行优化算法进行验算与分析。结果表明,新的工作流Petri网模型及其并行算法可行有效。     

基于广义随机Petri网的贵港生态工业园资源利用率分析

资源利用率是评价生态工业园运行绩效的重要指标,资源高效利用是生态工业园建设的基本要求.本文以广义随机Petri网作为建模工具,以贵港生态工业园作为研究对象,通过构建贵港生态工业园物质循环网络的广义Petri网模型,利用广义随机Petri网模型与马尔科夫链的同构关系,分析了贵港生态工业园关键资源的利用率以及重点加工环节运作效率,指出了贵港生态产业园资源利用过程中有待改善的环节,为贵港生态工业园的优化和改进提供了依据.     

基于不变量综合离散事件系统Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件动态系统中实现一组不等式约束控制规范的Petri网控制器的存在性及其综合问题.利用系统的关联矩阵,把Petri网控制器的参数阵与受控系统的一个P-不变量用线性方程组联系起来.提出了Petri网控制器存在的代数判据.通过以此方程组为约束条件的一个整数线性规划问题的解,给出了Petri网控制器的结构参数（弧权值）和控制位置的初始标记数.给出的控制器的结构具有极小性.在结构一定的条件下,它是极大允许的.     

基于一阶流体随机Petri网的回报建模

从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法．该方法既可用于建模马尔科夫随机系统，也可用于建模非马尔科夫随机系统．在一阶流体随机Petri网回报模型中，可建模率回报和冲量回报，并可允许累积回报影响被建模系统的动态行为以及回报率本身．     

基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。     

基于混和Petri网的公路仿真系统模型

公路仿真系统是连续变量动态系统和离散事件动态系统相互作用的混杂系统。通过分析公路仿真系统的混杂特征，在基于Multi—Agent的仿真框架下，提出利用混和Petri网描述系统中离散事件和连续变量相互作用的观点。在传统混和Petri网的基础上，建立了考虑时变特征的推广混和Petri网模型，并建立了基于推广混和Petri网的公路仿真模型体系。将该模型体系应用于驾驶员速度控制过程。应用结果表明，仿真效果良好。