Petri网在时序建模中的应用

来源 :杭州电子工业学院学报 | 被引量 : 0次 | 上传用户:qzhiqiang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了一种对离散事件系统进行时序建模的TL PN(时序 Petri)方法。文中描述了点 -区间时序逻辑的形式定义体系 ,以及基于图模型 (把系统的时序特性转化为图结构 )的时序推理机(TIE)的原理和应用。本方法不仅可避免传统设计中的时序歧义和错误 ,同时推导出的新的时序关联还能识别用户自定义的有用区间
其他文献
配电网故障时,可以通过多微电网互联供电进行黑启动,恢复重要非故障区域的供电。并网时,微电网群工作在与配网同步的工作模式;配电网故障时,各微电网将分别工作在不同的孤网
<正>四年一届的世界杯足球赛,再次点燃了足球爱好者的夜生活。他们守候在凌晨那刻,早在开赛前就兴奋异常,为之通宵达旦的比比皆是,为"球"辞职的也不乏其人。地铁里,2014年巴
子宫内膜异位症(endometriosis, EMT)是生育期妇女的妇科常见病,以痛经、慢性盆腔痛、性交痛、月经异常和不孕等为主要临床表现,严重影响着妇女的生命健康及生活质量,且近年
飞利浦FD20血管造影机是目前世界上最先进的数字血管造影机之一,相对于我院以前的数字血管机有很多优点,手术的剂量、分辨率、安全性、灵活性、方便性,有很大提高。
目的探讨五行音乐疗法结合耳穴埋豆在缓解重症监护室(intensive care unit,ICU)患者的焦虑、抑郁情绪中的应用方法及效果。方法便利抽样法选取2015年1月至2016年3月入住上海
党的十八大报告上,习近平总书记向党提出了新要求,并将从严治党放在了突出位置。国家领导的重视,各个企业单位纷纷响应国家号召,聚精会神抓党建。对此,文章探讨了基层党员干
执行难的原因是多重的,有着复杂的社会因素。其中,经济发展模式单一、民法文化缺乏、市场法律制度缺失和执行属性尚存争议,对执行难问题的产生有着深刻的影响。加快经济转型,
  本文就探究式教学法的具体内涵,科技馆开展探究式教学活动的必要性与可行性,对科技馆应用探究式教学法研究模式提出了初步设想。
正确理解教育功能是进一步认识“什么是教育”的关键。目前,我国教育功能研究中最具代表性的两种功能观是个体功能与社会功能观和教育的正、负功能观,前者对教育功能的研究缺
概括来说,网络舆论就是指网民对最近发生的公共事务和政府行为,通过信息网络公开表达的、带有倾向性的意见或言论,带有一定的时效性和随意性。所谓危机,由两种含义,一指"危",