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

可执行规格说明ExSpect应用及功能拓展

曲长征  张波  陈玉波  高鲁  
【摘要】:介绍了基于赋时有色 petri 网(timed coloured Petri net)的可执行的规格说明工具 ExSpect(EXecutable SPECification Tool)的基本语言定义,包括类型定义、函数定义、过程定义和系统定义.研究了其复杂系统建模仿真中的应用,并提出了一种将其功能扩展到一般有色网建模的方法。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张金泉;倪丽娜;蒋昌俊;;Petri网的同步距离计算[J];计算机科学;2005年12期
2 王志坚;;Petri网应用研究[J];科技资讯;2006年19期
3 陈丁剑;吴健;马满福;胡正国;;基于Petri网的Web服务组合建模[J];计算机科学;2006年05期
4 熊鹏程;范玉顺;;一种基于Petri网的网络服务兼容性分析方法[J];高技术通讯;2008年09期
5 姜梦稚;张桂戌;;基于 Petri 网和 B 语言集成的形式化方法[J];微型电脑应用;2005年11期
6 路晓丽;葛玮;郝克刚;;Web应用软件测试模型的研究和构建[J];计算机科学;2006年01期
7 蔺志海;陈俊亮;;一种多任务系统的描述工具[J];北京邮电大学学报;1990年02期
8 曲长征;于永利;金伟;高鲁;;基于ExSpect的复杂离散事件动态系统建模[J];系统仿真学报;2005年12期
9 李明;马小平;鲍海勇;;Petri网在矿井胶带运输控制系统中的应用研究[J];电气自动化;2005年01期
10 邬家炜;陈志涛;;基于着色工作流网的工作流模型的设计与实现[J];计算机科学;2006年02期
11 周奇才;江谊;邹竹;;自动化仓库(AS/RS)系统的petri网建模与研究[J];中国工程机械学报;2004年01期
12 关成彬;段立;;Petri网在海军战役装备保障指挥中的应用[J];兵工自动化;2008年12期
13 周晨;丁炜;朱祥华;;ISDN网络层协议模型化验证及其功能实现[J];北京邮电大学学报;1990年04期
14 胡雄鹰;胡斌;张金隆;;基于ExSpect的排队系统建模与仿真[J];系统仿真学报;2007年S1期
15 陈秋琳;杨勇生;杨斌;;基于HTPN的集装箱码头进口箱作业流程建模与仿真[J];物流工程与管理;2009年03期
16 赵兵;赵世伟;;Petri网及ExSpect在任务可靠性仿真中的应用[J];微计算机信息;2010年13期
17 叶玉全;卜英勇;罗柏文;黄剑飞;;基于Petri网的采购业务流程建模及仿真优化[J];计算机应用;2009年10期
18 陈玉波;李世英;张彦忠;陈乐;;作战单元装备系统的需求量仿真模型[J];兵工自动化;2006年06期
19 夏传良;;Petri网的PP型子网精细化操作性质分析及应用[J];计算机科学;2006年02期
20 封会娟;于永利;张柳;李东东;董岳;;聚合级装备作战单元机动防空任务可靠性仿真[J];系统仿真学报;2010年07期
中国博士学位论文全文数据库 前2条
1 朱海平;支持业务流程管理的工作流建模和分析理论研究[D];华中科技大学;2004年
2 廖小平;变电倒闸操作智能设计与模拟平台的研究与实践[D];华中科技大学;2005年
中国硕士学位论文全文数据库 前10条
1 王晓伟;基于Petri网的工作流建模与应用研究[D];华中科技大学;2005年
2 殷静;政府业务流程重组中的分析模型研究[D];电子科技大学;2005年
3 崔丽霞;基于Petri网的汽车制造业采购业务流程仿真优化研究[D];吉林大学;2005年
4 陈鑫影;基于粗糙集理论的约简算法研究[D];吉林大学;2005年
5 王晓辉;支持动态变化的工作流模型的研究[D];华北电力大学(河北);2005年
6 张赢;大型建筑企业供应链的构建机制与方法研究[D];华中科技大学;2005年
7 刘惠玲;基于Petri网的生产物流系统建模与仿真[D];北京交通大学;2008年
8 蔡令先;基于Petri网政务流程优化及评价方法的研究[D];大连理工大学;2009年
9 叶娅兰;基于虚电路的微通信元系统架构的QoS建模研究[D];电子科技大学;2005年
10 赵树恩;汽车零部件拆卸序列自动生成的理论研究及实现[D];重庆大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978