%0 Journal Article %T 随机进程代数与随机petri网 %A 林闯? %A 魏丫丫? %J 软件学报 %P 203-213 %D 2002 %X 针对随机进程代数(stochasticprocessalgebra,简称spa)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了spa和随机petri网(stochasticpetrinets,简称spn)之间的异同点,并讨论了spa转化为相应spn的语义和将spa的研究成果应用于spn的方法.最后对spa进一步研究工作的方向作了展望. %K 随机进程代数 %K 随机petri网 %K 等价 %K 合并 %K 汇集性 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20020206&flag=1