软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2002年
2期
203-213
,共11页
随机进程代数%随机Petri网%等价%合并%汇集性
隨機進程代數%隨機Petri網%等價%閤併%彙集性
수궤진정대수%수궤Petri망%등개%합병%회집성
针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望.
針對隨機進程代數(stochastic process algebra,簡稱SPA)的基本模型方法、模型特點和該領域的主要研究成果進行瞭綜述.比較瞭SPA和隨機Petri網(stochastic Petri nets,簡稱SPN)之間的異同點,併討論瞭SPA轉化為相應SPN的語義和將SPA的研究成果應用于SPN的方法.最後對SPA進一步研究工作的方嚮作瞭展望.
침대수궤진정대수(stochastic process algebra,간칭SPA)적기본모형방법、모형특점화해영역적주요연구성과진행료종술.비교료SPA화수궤Petri망(stochastic Petri nets,간칭SPN)지간적이동점,병토론료SPA전화위상응SPN적어의화장SPA적연구성과응용우SPN적방법.최후대SPA진일보연구공작적방향작료전망.
