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

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

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前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	常见问题在线咨询阅读器下载	充值中心知网卡新手指南