收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

A Translation from E-LOTOS to Timed Petri Net

【摘要】:正E-LOTOS is an enhancement to existing LOTOSTimed Petri net is an ideal tool to analyze the systems,which have concurrent property.In this paper,anapproach is introduced to translate an E-LOTOSspecification into timed Petri net for protocol testingor modeling real-time systems.

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 谭宁;;基于Petri网的办公自动化系统结构模型设计[J];硅谷;2009年12期
2 王岚;张国宁;;维修保障仿真模型的HLA兼容性改造[J];计算机与网络;2009年19期
3 吴胜宗;郝克刚;;一个基于Petri网的工作流模型及其优化[J];计算机应用与软件;2008年04期
4 陈静;陈红梅;高寒;;基于Petri网的Tapestry系统性能评价[J];舰船电子工程;2008年12期
5 刘峻;;药品批发分销网络的petri网建模[J];科学决策;2008年10期
6 吕瑞强;曲长征;陈玉波;李晓峰;;Petri网维修事件仿真系统的HLA兼容性改造研究[J];科学技术与工程;2007年11期
7 黄海贤;匡洪海;黄少先;;配电网停电管理系统分析[J];广东电力;2006年06期
8 郭昆;;基于Petri网的工作流建模在群体决策支持系统中的应用研究[J];计算机工程与应用;2006年S1期
9 宋贤钧;王炳鹏;郭佳;;基于WF-net的工作流建模技术及应用[J];计算机科学;2006年04期
10 王淑礼,江祥奎;求解哲学家进餐问题的Petri网模型及实现[J];电脑开发与应用;2005年01期
中国重要会议论文全文数据库 前10条
1 ;Multi-satellite observations of chlorophyll-a blooms south of Japan triggered by Typhoon Namtheun(2004)[A];第27届中国气象学会年会大气物理学与大气环境分会场论文集[C];2010年
2 罗纤夫;李艺;王小梅;;基于Petri网的导弹预警系统建模分析[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
3 ;Research for Urban Rail Transit Train Regulation Based on Time Petri Nets[A];2010 International Conference on Computer and Communication Technologies in Agriculture Engineering(CCTAE 2010) (Volume 2)[C];2010年
4 ;Reform and practice of professional English teaching[A];2010 ETP/IITA Conference on Telecommunication and Information(TEIN 2010) Proceedings[C];2010年
5 孙琳;陈雪松;王东文;;结合Petri网与BPR的企业系统规划法[A];中国计量协会冶金分会2010年会论文集[C];2010年
6 C.P.阿特伍德;;“蒙古”部落名称来源及其内涵(英文)[A];蒙古史研究(第十辑)[C];2010年
7 周双娥;熊国平;;基于Petri网的故障检测模型的设计与分析[A];第六届中国测试学术会议论文集[C];2010年
8 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
9 唐伟强;刘文志;;基于Petri网的包子生产线模型建立与仿真分析[A];2010国际农业工程大会提升装备技术水平,促进农产品、食品和包装加工业发展分会场论文集[C];2010年
10 苗菊;;产学研一体化教育理念下的翻译职业能力构建[A];2010年中国翻译职业交流大会论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 张镇;面向迎宾机器人组件化系统的建模与控制研究[D];上海交通大学;2011年
2 向红;互文翻译的语境重构[D];上海交通大学;2011年
3 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
4 姜燕;理雅各《诗经》英译[D];山东大学;2010年
5 夏云;基于语料库的英汉翻译小说常规化研究:历时的视角[D];山东大学;2010年
6 王明树;“主观化对等”对原语文本理解和翻译的制约[D];西南大学;2010年
7 高雷;译学词典的本体论研究[D];山东大学;2010年
8 龙浩;网格语义工作流关键技术研究[D];北京工业大学;2010年
9 张俊杰;试论中庸诗歌翻译观的构建[D];河南大学;2010年
10 屈平;翻译还原:海德格尔现象学下的翻译理论[D];河南大学;2010年
中国硕士学位论文全文数据库 前10条
1 修桂生;CTCS-3级列车载设备测试平台—列车运行仿真器的建模与实现[D];北京交通大学;2011年
2 谢珊;《聊斋志异》六个英译本的历时性研究—描写译学的视角[D];上海交通大学;2011年
3 许春香;目的论视角下外宣新闻传播效果研究[D];南昌大学;2011年
4 郭彪;基于Petri网的喷码系统研究[D];北京印刷学院;2011年
5 苏曼;基于Petri网的数字家庭无线抄表建模与分析[D];华东理工大学;2011年
6 符海波;基于Petri网的数字家庭IPv4-IPv6转换建模与分析[D];华东理工大学;2011年
7 蔡露;基于Petri网的顺序离散事件机电系统故障诊断方法的研究[D];上海交通大学;2011年
8 王莲生;论归化策略在政经文体汉译中的运用[D];上海交通大学;2011年
9 孟令子;基于语料库的莎剧汉译本中“被”字句研究[D];上海交通大学;2011年
10 魏晶磊;语义翻译与交际翻译在小说翻译中的运用[D];上海交通大学;2011年
中国重要报纸全文数据库 前10条
1 ;诺基亚携六西格玛整合产业链[N];中国质量报;2005年
2 [英]Camila Ferrier Marsh版权代理公司;英国版权销售之路:只是单行线?[N];中国新闻出版报;2005年
3 ;飞猪网事[N];电脑报;2004年
4 高秀霞;介绍几个免费的在线翻译网站[N];中国电脑教育报;2004年
5 苏鹏;不用登录网站也可在线翻译[N];中国电脑教育报;2004年
6 本报记者 刘志英 整理 吴瑾君(上海市版权局);从京、沪版权贸易变化看中国出版[N];中国图书商报;2004年
7 李晓慧 杨鸿;Internal control over sales[N];中国财经报;2003年
8 广文;LSI逻辑公司发布HomeBASE家庭网关设计[N];中国电子报;2003年
9 陈秉林;美国汽车旅游的启示[N];中国旅游报;2003年
10 David;在线英语词典看过来[N];电脑报;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978