【摘 要】
：
时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型。组件级化简方法是TPN模型常用的分析方法,在保持外部可观察时间特性的前提下,将组件TPN模型化简成一个
【机 构】
：
北京联合大学信息学院,中国兵器装备研究院
论文部分内容阅读
时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型。组件级化简方法是TPN模型常用的分析方法,在保持外部可观察时间特性的前提下,将组件TPN模型化简成一个很简单的TPN模型。然而它却失去了组件内部的性质,如冲突和并发等性质。文中引入延迟时间Petri网(DTPN),通过组件TPN模型向DTPN模型转化,使化简后模型既保持外部可观察时间特性,又保持组件内部的冲突和并发等性质。为了分析化简后的DTPN模型,文中还提出了一种新的DT- PN调度分析方法。最后通过对一个C2系统的组件TPN模型的分析实例,验证该方法的有效性。
其他文献
目的探讨中到大量心包积液患者临床迅速准确判断的方法,为临床一线医生判断心包积液提供初步参考。方法收集2010年1月至2012年6月间在我院住院的18例经超声心动图确诊为中到
ＡＸ．２５分组无线网的研究和实现赵冬梅冯锡生（北方交通大学北京）１ＡＸ．２５协议概述ＡＸ．２５协议是国际业余无线电联盟公布的分组无线网协议，它是在ＨＤＬＣ和Ｘ．２５协议的基础上改进而成的。同时，作为业余分组无线网的标
目的探讨辨证护理在中医夹板治疗中对患者病情恢复的作用，对治疗效果进行评价。方法对2011年4月至2012年12月间来我院住院接受夹板治疗的132例骨折患者治疗过程采取辨证护理，严
多年来,直至70年代,山西晋中一带的黑热病时有散发。白蛉是黑热病的传播媒介,晋中一带的白蛉情况尚需了解,为此,于1985年7月5～25日选择介休、阳泉、盂县等三个县市,对白蛉的
中国人民大学首刘守英教授近期撰文指出,一定不要把这次新冠肺炎疫情的冲击当作一般的外生冲击,简单采用刺激政策。我们所有的救助方式一定要落到最需要的群体上。当前,与其
美国FDA称，Solvay公司的抗心律失常药Pulzium（tedisamil）（I）不能批准用于治疗房颤（AF）。
在制药领域，疫苗向来被认为是低利润产品。但根据市场分析公司Datamonitor的一项新报告，随着大医药公司已确立的小分子畅销药物模式的衰退，以及市场向生物制剂倾倒，疫苗作为收入
目的目前国内外尚缺乏理想的抗肝纤维化药物。为科学研制新型、高效、安全的抗肝纤维化药物,观察单方生药高山红景天对实验性肝纤维化大鼠的治疗效果,并探讨其作用机制。方法
运动奇异性是并联机构的固有特性,导致其动平台在奇异位置处于运动失控状态。并联机构工作空间被奇异位置空间分布曲面分割成互不联通的运动子空间。为了解决并联机构穿越奇
本文论述在高中生物教学中培养学生科学思维面临的问题,提出在高中生物教学中培养学生科学思维的策略:抓住生物学特点开展实验教学、激发学生兴趣培养科学思维、引导学生关注