%0 Journal Article
%T Performance Analysis of Strictly Synchronized Stochastic Petri Nets<br>一种紧同步随机Petri网模型的性能分析方法
%A LIU Hong
%A LIN Chuang
%A WU Jian-Ping
%A <br>刘鸿
%A 林闯
%A 吴建平
%J 软件学报
%D 2003
%I 
%X 紧同步随机Petri网模型常用于对多个子系统构成的实际系统进行建模.由于状态空间爆炸问题,这种模型的性能分析目前还没有得到很好的解决.首先给出了随机Petri网中顺序、并行、循环、选择这4种基本结构的性能近似等价公式,然后提出了一种同步变迁等价分解(synchronous transition equivalent decomposition,简称STED)法对紧同步随机Petri网进行分解求解,有效地缓解了具有一个或多个同步变迁情况下的空间爆炸问题,该方法对于子模型同构的情况处理简便且十分有效.
%K SPN (stochastic Petri nets)
%K performance equivalence
%K performance analysis
%K strictly synchronized model
%K STED (synchronous transition equivalent decomposition)<br>随机Petri网
%K 性能等价
%K 性能分析
%K 紧同步模型
%K 同步变迁等价分解法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=5D83BF53E251EB6F&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=B31275AF3241DB2D&sid=4827968D9758D8D0&eid=E1D875FA50925809&journal_id=1000-9825&journal_name=软件学报&referenced_num=4&reference_num=12