扩展时间戳状态类

来源 :系统仿真学报 | 被引量 : 0次 | 上传用户:hwguomin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
状态类方法是时间Petri进行可达性分析的主要方法.提出扩展时间戳状态类方法,该方法通过扩展变迁的同步使能信息到时间戳状态类, 解决了时间戳状态类方法中同步使能变迁的可实施性问题.最后以一个典型生产系统为例展示扩展时间戳状态类方法的应用.
其他文献
由中华文化联谊会、财团法人台湾美术基金会、中国美术馆、台湾美术馆共同主办的"复感·动观——2011海峡两岸当代艺术展"于2011年3月7日至4月15日在中国美术馆举办。该展
定性仿真以非数字化手段处理信息输入、建模、行为分析和结果输出等仿真环节,通过定性建模推导系统的定性行为描述。定性仿真是处理不完备信息的有效方法。定性仿真方法产生了多种流派,如模糊仿真法、归纳推理法、非因果关系推理方法、基于因果关系的推理方法、基于图表的推理方法、基于数据的结构化建模方法、基于定性空间的推理方法等。近年来,定性仿真已应用到故障诊断、生态和环境学、机械制造业和工业系统、医学研究、混杂非
2011年,恰逢著名画家萧淑芳先生诞辰100周年。北京画院与吴作人国际美术基金会联手合作,专门组织学术力量策划的"容华淡伫——纪念萧淑芳诞辰一百周年水彩画精品展",于2011年3
为热烈庆祝中国共产党成立90周年,由中华人民共和国文化部主办、中国美术馆承办的“光辉历程时代画卷——庆祝中国共产党成立90周年美术作品展览”于2011年6月27日在中国美术
为了天然草原的生息繁衍和可持续发展,针对目前我国草原严重受损的现状,研究了人类活动对草原生长状况的影响,建立了草与食草动物两种生物相互作用的生态学模型,对其进行了深入分析;此后考虑到人为破坏行为对草原生物链的影响,对模型作了进一步改进;巧妙地将模型中的非线性微分方程组线性化,对模型求解;应用Matlab软件对草原的命运予以仿真;最后得出重要结论,对草原的修复及保护有重要参考意义。
2010年11月4日下午,中国美术馆5号厅,"观澜版画展—深圳观澜版画原创产业基地入驻艺术家作品展"隆重开幕。本次画展为期一周,是继观澜版画基地版画精品香港、澳门、内蒙古巡展
简单介绍了一些关于绳驱动的特点和原理以及国内外关于绳驱动的研究成果,在此基础之上提出了基于绳驱动的重心控制系统整体机械结构方案以及工作原理.系统的整体控制方案是分
<正>~~
期刊
该文提出一种多移动机器人圆形队列形成算法。在机器人数量不太大的条件下,通过迭代调节多机器人形成的多边形的边长和内角以实现在某一圆上均匀分布,再调节机器人与圆心的距离,最终使机器人均匀分布在一个指定半径的圆上。仿真结果验证了该算法的有效性。
强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Pe