主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
林闯,魏丫丫.随机进程代数与随机Petri网.软件学报,2002,13(2):203-213
随机进程代数与随机Petri网
Stochastic Process Algebras and Stochastic Petri Nets
投稿时间:2001-05-25  修订日期:2001-09-26
DOI:
中文关键词:  随机进程代数  随机Petri网  等价  合并  汇集性
英文关键词:stochastic process algebras  stochastic petri nets  equivalence  composition  lumpability
基金项目:国家自然科学基金资助项目(69873012);国家重点基础研究发展规划973资助项目(G1999032707)
作者单位
林闯 清华大学,计算机科学与技术系,北京,100084 
魏丫丫 清华大学,计算机科学与技术系,北京,100084 
摘要点击次数: 4404
全文下载次数: 3914
中文摘要:
      针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望.
英文摘要:
      This is a review paper about the basic model approaches and model characteristics as well as the recent works on SPA. In this paper, the difference and similarities about SPA and SPN are compared and the approach of translating SPA into the SPN semantics and exploiting SPA achievements for SPN are discussed. At the end of this paper, some research directions and open problems are presented in this area.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利