随机Petri网模型到马尔可夫链的转换规则与实现
随机petri网的模型技术有多种不同的方法.简单地使用模型技术去模拟复杂的系统,势必造成状态空间的爆炸,而无法分析系统性能.模型精化技术可以开发出紧凑的模型,暴露出原模型中子模型的独立性和相互依存关系,为模型的分解求解奠定基础.该文以多服务器多队列系统模型的精化设计为例,展示利用变迁可实施谓词和随机开关进行模...
基于Petri网模型的随机数生成器 邹峥,乐晓波,刘石坚 (长沙理工大学计算机与通信工程学院,长沙410076) 摘要:以连续Petri网概念为基础,引入带弧权和禁止弧的扩展连续Petri网,将扩展连续Petri网作为工具对随机数生成器进行研究。选 用随机数学中的乘同余法产生服从[0,1]均匀分布的随机变量,从而解决Petri网的规模因随机变...
摘要:随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变 迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为 其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在...
基于随机Petri网的邻避冲突演化过程模型及情景仿真分析——以垃圾焚烧发电厂为例 第３１卷 第１期 运 筹 与 管 理Ｖｏｌ．３１，Ｎｏ．１２０２２年１月 ＯＰＥＲＡＴＩＯＮＳＲＥＳＥＡＲＣＨＡＮＤＭＡＮＡＧＥＭＥＮＴＳＣＩＥＮＣＥＪａｎ．２０２２ 收稿日期：２０２０ ０２ ０７ 基金项目：...
可重入生产线的流随机petri网(fspn)模型 王友楠 郑应平 谢小轩? Full-Text Cite this paper Add to My Lib Abstract: 1.引言 近年来,对于半导体制造业的建模、分析和调度优化都取得了长足的进步.kumar在文[1,2]中指出在过去的几十年中,由于一系列问题的出现,排队论已经历了四次发展.首先是电话交换问题,...
1、AADL模型到广义随机Petri网的转换工具电气论文AADL模型到广义随机Petri网的转换工具汤垢,苏威,李蜀瑜(陕西师范大学计算机科学学院,陕西西安710119 )摘要:为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠 性评估,实现AADL模型到广义随机Petri网模型(GSPN )可靠性计算模型的 自动转换,依据AADL模型到GSPN模型的...
以连续Petri网概念为基础,引入带弧权和禁止弧的扩展连续Petri网,将扩展连续Petri网作为工具对随机数生成器进行研究.选用随机数学中的乘同余法产生服从[0,1]均匀分布的随机变量,从而解决Petri网的规模因随机变量的精度增加而急剧增大的问题,针对某些逆变换法无法实现的分布,引入拒绝法,对现有的随机数发生器Pe... 查看...
针对T/R组件在备件库存、保障模式以及维修策略方面的特点,建立了两级维修保障体制下相控阵雷达的效费比随机Petri网模型。首先对随机Petri网性能存在的不足进行分析,并对其进行改进,引入抑制弧和全局时间,建立了多部件条件下不同连接方式的系统Petri网模型;其次以多部件当中的k/N系统连接方式为基础,建立了相控阵雷...
扩展赋时着色随机Petri网模型2) timed colored Petri net 赋时着色Petri网 1. A method for modeling cooperation works using timed colored Petri net (TCPN) is presented. 提出了利用赋时着色Petri网(TimedColoredPetriNet)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态...