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

被引量 : 0次 | 上传用户：rrtaobao123

【摘要】

：

介绍了基于赋时有色 petri 网(timed coloured Petri net)的可执行的规格说明工具 ExSpect(EXecutable SPECification Tool)的基本语言定义,包括类型定义、函数定义、过程定

【作者】

：

曲长征张波陈玉波高鲁

【机构】

：

军械工程学院装备指挥与管理系;

【发表日期】

：

2008年期

【关键词】

：

ExSpect Petri 网建模仿真

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

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

其他文献

微信公众号的盈利策略研究

随着移动互联网技术的发展和智能手机的普及,一个“人人都有麦克风,人人都是公民记者”的自媒体时代已经来临。近些年,微信公众号在自媒体领域内发展迅猛,它的单向传播、圈层

学位

微信公众号盈利模式社会效应

《中药成分的人肠内细菌代谢和对人肠内微生态影响的研究》是中医药基础理论现代化研究的切入点和重点领域之一

<正>中药是祖国医学防病治病的物质基础,是中华民族卓越的历史文化和现代文明的重要组成部分。而中药发挥疗效的物质基础是其所含有的化学成分,这些化学成分无论是分子态或是

会议

梅花鹿鹿角脱盘提取物抗疲劳作用研究

目的:探讨梅花鹿鹿角脱盘提取物的抗疲劳作用。方法:选用雄性小鼠分为3个剂量组和空白对照组,灌胃给药不同剂量的梅花鹿鹿角脱盘提取物30 d后,测定小鼠力竭游泳时间、血乳酸

期刊

梅花鹿鹿角脱盘提取物抗疲劳小鼠

书法部分:宁夏回族自治区

【正】浙江→陕西→江苏→甘肃→重庆→广东→贵州→辽宁→河北→河南→海南→山东→山西→吉林→内蒙古→上海→解放军→安徽→黑龙江→湖北→湖南→新疆→四川→澳门→江西

期刊

中国书法家协会东西交通引黄回族人口物产丰饶山西人旅游资源西夏王陵副主席滔滔滚滚

惯性力与真实力的区别

本文从力的定义和惯性力的引入出发,指出了从力的定义上看,惯性力与力之间存在着本质上的差异,即惯性力不宜看作力。

期刊

愤性系非惯性系惯性力

房地产高周转模式之初探

通过研究目前高周转模式的现状,简要分析了高周转模式的误区以及其运转的五个要点,并在分析高周转模式的基础上,对标准化模式进行了探究并简单阐述了高周转标准化模式的必要

期刊

高周转标准化房地产企业

松尾芭蕉与“俳句”

期刊

松尾芭蕉元禄文学江户幕府

动画剧《美食大冒险》诉动漫《吃货宇宙》不正当竞争被驳

因认为动漫作品《吃货宇宙》的主要角色形象与知名动画剧《美食大冒险》形象相似,且主要角色数量完全一致,《美食大冒险》的著作权人广州易动文化传播有限公司认为《吃货宇宙

期刊

不正当竞争《美食大冒险》

分布式工作流引擎的设计方法

分布式工作流技术是计算机应用领域的一个较新的研究方向,工作流引擎的分布执行是工作流技术发展的一种必然趋势。针对企业级的实际需求,提出一种分布式工作流引擎的体系结构

期刊

工作流引擎分布式工作流管理系统工作流执行系统网上购书

COSO 2013的“内部控制”定义

<正>1992年COSO发布《内部控制——整合架构》(初始架构)已获得广泛接受,并且被世界各国广泛地实施与应用。该架构已被认可为一个领先的内部控制架构,用来设计、导入和评估内

期刊

内部控制管理阶层COSO 2013内部控制制度

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

与本文相关的学术论文