随机Petri网模型到马尔可夫链的转换规则与实现
《基于随机Petri网的网络可生存性模型与分析方法》是依托清华大学，由林闯担任项目负责人的面上项目。项目摘要 随着网络技术的不断发展，各种网络系统越来越复杂和庞大，网络可生存性研究已经成为国际上重要的科学问题之一。网络可生存性是一个网络系统在受到软硬件错误、外来攻击和操作故障等的影响时，向用户提供关键服务...
随机petri网的模型技术有多种不同的方法.简单地使用模型技术去模拟复杂的系统,势必造成状态空间的爆炸,而无法分析系统性能.模型精化技术可以开发出紧凑的模型,暴露出原模型中子模型的独立性和相互依存关系,为模型的分解求解奠定基础.该文以多服务器多队列系统模型的精化设计为例,展示利用变迁可实施谓词和随机开关进行模...
基于Petri网模型的随机数生成器 邹峥,乐晓波,刘石坚 (长沙理工大学计算机与通信工程学院,长沙410076) 摘要:以连续Petri网概念为基础,引入带弧权和禁止弧的扩展连续Petri网,将扩展连续Petri网作为工具对随机数生成器进行研究。选 用随机数学中的乘同余法产生服从[0,1]均匀分布的随机变量,从而解决Petri网的规模因随机变...
业务过程的扩展广义随机Petri网模型 维普资讯 http://www.cqvip.com
为了有效利用随机Petri网进行性能的定量分析,给出了一个详细完整的随机Petri网模型转换为同构马尔可夫链的算法.运用Floyd不变式断言法证明了算法的部分正确性,运用良序集法证明了算法的终止性.算法是部分正确的且是可终止的,这个证明结论说明算法是完全正确的.为了佐证证明结论,基于Java和SQLServer设计开发了一个软件...
摘 要 针对一般情况下虚拟企业供应链系统的构成,提出了一种基于有色随机Pet ri 网的供应链模型1该模型将任意供应链抽象为相同结构有色随机Pet ri 网系统,某一具体的供应链由模型初始标识和时间延时函数确定1通过对生产和运输过程的仿真,分析在给定结构和供货速率下供应链系统的运行状况1进一步将该模型分解,并利用...
可重入生产线的流随机petri网(fspn)模型 王友楠 郑应平 谢小轩? Full-Text Cite this paper Add to My Lib Abstract: 1.引言 近年来,对于半导体制造业的建模、分析和调度优化都取得了长足的进步.kumar在文[1,2]中指出在过去的几十年中,由于一系列问题的出现,排队论已经历了四次发展.首先是电话交换问题,...
基于模糊随机Petri网的装备战场抢修模型冰 王振纬,许 刚 (陆军军官学院,合肥 230031) 摘 要:战场抢修是战时技术保障工作的重要内容。在装备战场抢修流程基础上建立随机Petri网,并同构为MC 链,进行求解。针对战场抢修只需要在短时间内恢复一定程度作战能力的特点,将变迁速率引入模糊算子,构建出 ...