%0 Journal Article
%T 一种紧同步随机petri网模型的性能分析方法
%A 刘鸿？
%A 林闯？
%A 吴建平？
%J 软件学报
%P 1029-1036
%D 2003
%X 紧同步随机petri网模型常用于对多个子系统构成的实际系统进行建模.由于状态空间爆炸问题,这种模型的性能分析目前还没有得到很好的解决.首先给出了随机petri网中顺序、并行、循环、选择这4种基本结构的性能近似等价公式,然后提出了一种同步变迁等价分解(synchronoustransitionequivalentdecomposition,简称sted)法对紧同步随机petri网进行分解求解,有效地缓解了具有一个或多个同步变迁情况下的空间爆炸问题,该方法对于子模型同构的情况处理简便且十分有效.
%K 随机petri网
%K 性能等价
%K 性能分析
%K 紧同步模型
%K 同步变迁等价分解法
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20030601&flag=1