无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质

来源 :系统仿真学报 | 被引量 : 2次 | 上传用户:Agoni_iAy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法. 赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其演变图却不能用同样的方法构造出来.在本文中,通过引入无界量符号w,给出了UTHPN的可覆盖性演变图的构造方法,并在此基础上讨论了UTHPN的有关性质.
其他文献
<正> 一、引言 利用粒子群对光辐射的吸收、散射,测量其粒径及分布,具有快速、非接触、容易实现自动化等优点,因此在水文、气象、医药医疗、环保、动力、建材、化工和食品等
通过对膨胀土地层深基坑开挖将对地表沉降、建筑物沉降、支护结构侧移监测分析,得出长条形深基坑采用分段分层开挖可减小结构自身和环境总的变形;膨胀土吸水膨胀、失水收缩可引
<正> 一、前言 喷射能大大强化换热过程,正受到广泛地重视。本文作者在文献[1、2]中曾就较高Gr数下的喷射旋转圆筒换热提出了关联式(1),并已用于水泥窑的冷却工程
本文采用试验与理论分析相结合的方法,提出了Y型喷咀空间雾化机理和表征雾化质量的平均滴径及滴径分散度的计算公式,能较好地反映喷咀结构参数和运行参数对雾化质量的影响,可
本文对竖直两相闭式热虹吸管内的凝结换热进行了理论分析和实验研究。理论分析中考虑了两类不同的界面切应力的影响和饱和压力的影响。在不同充液量和不同压力下进行了实验,
摘要:针对当代大学青年教师这个群体,他们不仅要完成教学工作,而且肩上还承担着培养现代化建设接班人的责任,这种特殊的使命需要他们对自身的责任和教育使命有彻底的理解和贯彻。本文从大学青年教师应具备的良好的素质和正确的教育思想,勤于学,笃于行三个方面论述。  关键词: 大学青年教师;教育使命;责任  中图分类号:G64 ? 文献标识码:A??文章编号:1672-3791(2016)05(a)-0000-
论述了复杂武器系统任务可靠性计算的一般要求和计算任务可靠度及MTBCF的基本计算方法。分析了复杂系统可靠性置信下限用仿真方法求解的基本问题,包括抽样方法、仿真计算程序及系统可靠性综合求解等问题。通过具体示例,说明了复杂系统的故障分布是指数型的说法并不总是正确的,应通过数据检验来确定其分布,否则,计算结果有很大误差。根据简化模型,把仿真方法与解析方法计算结果进行了对比分析,提出了供工程应用的有效可行
<正> 一、引言 气体渗碳是被广泛应用的一种热处理工艺,它的突出优点是渗碳用气体(渗碳气氛)的成分可以控制,从而可以保证渗碳质量。渗碳气氛是由原料气(通常是烷烃)和空气按
绵阳师范学院的语言使用形成了普通话和方言共用的基本格局,同时存在一小部分使用四川话夹杂着普通话(以下简称川普)和其他民族语言作为交流语言的情况。课堂教学基本使用普通
摘 要:近几年,随着信息技术的快速发展,教学模式信息化的趋势不断加强,高职英语教学也在不断深入改革,实现了信息技术与高职英语教学的整合,改变传统的教学模式、学习方法、教学内容和师生互动的方式,信息技术的融入,可以为学生提供一个有效的学习工具,创设丰富的教学情境,有利于教师更好教学,使教学的主导作用得到发挥,同时充分调动学生学习的积极性,培养学生学习兴趣。  关键词:信息技术 高职英语 整合应用