随机进程代数与随机Petri网

来源 :软件学报 | 被引量 : 0次 | 上传用户：JoanFang

【摘要】

：

针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SP

【作者】

：

林闯魏丫丫

【机构】

：

清华大学计算机科学与技术系

【出处】

：

软件学报

【发表日期】

：

2002年02期

【关键词】

：

随机进程代数随机Petri网等价合并汇集性

【基金项目】

：

国家自然科学基金资助项目(69873012);国家重点基础研究发展规划973资助项目(G1999032707)~~

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望.

其他文献

分子伴侣与肿瘤免疫

分子伴侣是一类能帮助其他蛋白质进行正确组装、折叠、转运、介导错误折叠的蛋白质进行降解的蛋白。在肿瘤发生发展及防治过程中 ,分子伴侣具有重要的作用。综述分子伴侣与肿

期刊

分子伴侣抗原呈递肿瘤免疫

碘和人体健康

<正> 碘是人体必需的微量元素,是甲状腺激素的重要成分。人们熟知碘缺乏是甲状腺肿的基本原因,服碘可防治甲状腺肿。但近来的调查研究证明,碘缺乏不仅可引起甲状腺肿,而且和

期刊

甲状腺肿碘缺乏发病率尿碘含量碘化物桥本氏甲状腺炎地方性克汀病甲状腺癌甲状腺功能低下症甲状腺功能亢进症甲状腺功能正常缺碘地区人体健康

卵巢癌细胞IL-6、IL-8分泌与其化疗敏感性及耐药相关基因和凋亡抑制基因表达关系的初步探讨

目的分析比较4种常见的人上皮性卵巢癌细胞系IL-6、IL-8分泌与其化疗敏感性及部分耐药相关基因和凋亡抑制基因表达的关系,为今后研究IL-6、IL-8诱导卵巢癌细胞对化疗药物产生

期刊

IL-6IL-8卵巢癌细胞化疗敏感性耐药相关基因凋亡抑制基因

积极创新工作机制强化特种设备监管

特种设备安全监管是市场监督管理部门的一项重要职责,也是我国安全生产监管工作的一个重要组成部分。如今,特种设备监管工作在安全法制的不断完善中得以加强,特种设备安全生

期刊

特种设备于都县特种设备安全管理特种设备作业人员创新工作机制

当代绩效评估体系对员工行为的影响

当代绩效评估体系以财务和非财务、过去和未来评估指标达到平衡为根本标志。当代绩效评估体系影响对象纷繁复杂，文章在对当代绩效评估体系影响的相关研究进行回顾的基础上，从员

期刊

当代绩效评估体系评估影响绩效考核

小剂量利伐沙班治疗不稳定型心绞痛的临床疗效观察

目的观察口服小剂量利伐沙班治疗不稳定型心绞痛(UA)的临床疗效。方法收集辽宁省阜新市某医院住院的UA患者165例,随机分为观察组83例及对照组82例,2组患者均给予常规双联抗血

期刊

不稳定型心绞痛利伐沙班临床疗效

催化烟气脱硫脱硝运行效果影响因素分析

催化烟气必须经过净化治理才能达到国家排放要求,脱硫脱硝是治理催化烟气的常用工艺。本文通过分析WGS湿气洗涤法脱硫及SCR选择性催化脱硝工艺实际运行情况、余热锅炉的操作

期刊

催化烟气脱硫脱硝影响因素

核转录因子κB在全身炎症反应综合征中的作用

核转录因子κB( NF-κB)是一种多向性核转录调节蛋白 ,参与多种炎症介质基因的转录和调控 ,在炎症、免疫反应中发挥重要作用。本文就 NF-κB与全身炎症反应综合征的关系以及

期刊

核转录因子-κBκB抑制子全身炎症反应综合征脓毒症多器官功能不全综合征

青年成才规律、途径和方法的探索和实践

<正>青年是祖国的未来,是民族的希望;青年兴则国家兴,青年强则国家强青年能否成才,关系国家的发展大计关系到一个民族的前途。作为青年工作者,我们应当认识到肩上的重任,应当

期刊

疏导对策成就动机青年成才工作策略理想型探索和实践

窄搭接电阻焊机在连续退火机组上的应用

<正>1.概述对于连续退火机组,焊机的作用是将前后带钢进行连接保证机组连续稳定的运行。连续退火机组由于生产节奏快、炉内道次多以及停机损失巨大等特点,因而要求操作人员必

期刊

搭接电阻焊带钢表面夹紧装置

随机进程代数与随机Petri网

与本文相关的学术论文