随机进程代数与随机petri网
, PP. 203-213
Keywords: 随机进程代数,随机petri网,等价,合并,汇集性
Abstract:
针对随机进程代数(stochasticprocessalgebra,简称spa)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了spa和随机petri网(stochasticpetrinets,简称spn)之间的异同点,并讨论了spa转化为相应spn的语义和将spa的研究成果应用于spn的方法.最后对spa进一步研究工作的方向作了展望.
Full-Text
