检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国科学院合肥智能机械研究所
出 处:《计算机科学》2005年第3期26-30,共5页Computer Science
基 金:国家自然科学基金(批准号:60175027)
摘 要:随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间Petri网各主要子类的发展历程与研究现状。首先介绍了随机时间Petri网的一些基本概念,然后回顾了广义随机Petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机Petri网及其分析技术,最后详细分析了流体随机Petyi网。Stochastic Timed Petri nets are a powerfu1 modeling formalism,widely used for the performance and de- pendability evaluation of computer and communication systems. The state of the art of the research for the main sub- classes of Stochastic Timed Petri nets as well as their development histories is systematically described. Some of the basic concepts about Stochastic Timed Petri nets are first introduced. General Stochastic Petri nets and the approach- es to deal with the state space explosion problems are then reviewed Non-Markovian Stochastic Petri nets are dis- cussed,along with the analysis techniques. Finally the Fluid Stochastic Petri net formalism and its application are e- laborated.
关 键 词:随机时间Petri网 建模机制 非马尔科夫随机Petri网 分析技术 流体随机PETRI网
分 类 号:TP18[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:13.59.14.52