-
题名一种紧同步随机Petri网模型的性能分析方法
被引量：7
- 1
-
-
作者
刘鸿
林闯
吴建平
-
机构
清华大学计算机科学与技术系
-
出处
《软件学报》
EI
CSCD
北大核心
2003年第6期1029-1036,共8页
-
基金
国家重点基础研究发展规划(973)
国家自然科学基金
国家高技术研究发展计划~~
-
文摘
紧同步随机Petri网模型常用于对多个子系统构成的实际系统进行建模.由于状态空间爆炸问题,这种模型的性能分析目前还没有得到很好的解决.首先给出了随机Petri网中顺序、并行、循环、选择这4种基本结构的性能近似等价公式,然后提出了一种同步变迁等价分解(synchronous transition equivalent decomposition,简称STED)法对紧同步随机Petri网进行分解求解,有效地缓解了具有一个或多个同步变迁情况下的空间爆炸问题,该方法对于子模型同构的情况处理简便且十分有效.
-
关键词
随机PETRI网
性能等价
性能分析
紧同步模型
同步变迁等价分解法
-
Keywords
Mathematical models
Performance
Random processes
Theorem proving
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
-
-
题名协议分布式测试系统的性能模型
被引量：2
- 2
-
-
作者
刘鸿
吴建平
-
机构
清华大学计算机科学与技术系
-
出处
《高技术通讯》
EI
CAS
CSCD
2003年第8期1-7,共7页
-
基金
863计划(2001AA121015
2001AA112061)
+1 种基金
国家自然科学基金(90104002
60102009)资助项目
-
文摘
协议测试领域专家们已经达成共识 :新一代的协议测试系统应该是分布式架构的。本文用广义随机Petri网 (GSPN )对目前提出的几种协议分布式测试框架构造了性能模型 ,进行了性能比较和分析。为了解决状态空间爆炸的问题 ,提出了一种同步变迁实施速率等价法 (STER) ,这种方法能够对具有同步变迁的随机Petri网模型分解求解。
-
关键词
协议测试
分布式系统
PETRI网
性能模型
状态空间爆炸
同步变迁实施速率等价法
-
Keywords
Protocol testing, Distributed testing, Generalized stochastic Petri nets (GSPN), Synchronizing transition equivalent rate (STER)
-
分类号
TN915.06
[电子电信—通信与信息系统]
-
