【摘 要】
：
Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网
【机 构】
：
南京航空航天大学信息科学与技术学院,南京大学计算机软件新技术国家重点实验室,徐州师范大学计算机科学与技术学院
【基金项目】
：
航空科学基金项目(2007ZD52043);高等学校博士学科点专项科研基金项目(20070287052)~~
论文部分内容阅读
Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性.
其他文献
<正>现代刑事诉讼的产生和发展,与人权发展的历史是密切相关的。刑事诉讼法因此被誉为保障嫌疑人、被告人以及其他诉讼参与人的权利而设立的一种"人权法"。新刑事诉讼法将"尊
神经细胞间的信号通讯是神经系统实现其各种生理功能的基础。经典理论和学说认为,神经细胞的信息传递方式主要有两大类:生物电传递和化学传递。化学传递介导突触信号的传递,
<正>当前,网络空间已成为继陆地、海洋、天空、太空之外的第五空间,信息资源和关键信息基础设施已成为国家发展最为重要的战略资产和核心要素。然而,随着信息化进程的加快,针
女性伦理是20世纪70年代在西方兴起的一门学科。它的提出不仅推动了西方女性主义的发展,同时也拓展了伦理学研究的领域。本文试图从女性视角出发,通过对西方女性伦理的现实维
分析了军用运输车辆二次迷彩伪装的一些弊端 ,针对目前由于缺少配套的法规和技术手段 ,军用车辆迷彩伪装难以切实落实的现状 ,提出了研究制定相应配套的法规和迷彩技术标准 ,
提高“互联网+”环境下公共信息的可获取性和易传播性,增强公众对公共信息服务的整体满意度无疑具有重要的作用。从传播学视角对公共信息传播模式与公众获取行为进行系统考察
古书中的七字韵语吴庆峰古书中有四字韵语，如《左传·昭公二十七年》：“不索，何获？”《异鱼赞闰集》：“正乌，二鲈。”有六字韵语，如《汉书·景帝纪》：“金可作，世可度。”《后汉书·彭
目的了解慢性阻塞性肺疾病(COPD)合并肺真菌感染的危险因素,评价伊曲康唑治疗COPD合并肺真菌感染的疗效和安全性。方法回顾分析2007年9月1日—2012年5月31日某院呼吸内科诊断
明清以来中西方文化相互碰撞、相互交融,绘画意识领域势必会出现彼此交集融合的"大同"探索现象."探索之路"漫长亦坎坷,而朱屺瞻是一个在探索、创新上取得卓越成就的艺术家.他
恶性脑胶质瘤是最具侵袭性和致命性的脑肿瘤之一,尽管临床上采用了多种手段进行治疗,如手术切除、放射治疗、化学治疗或联合治疗,患者的预后仍然不乐观。脑部血脑屏障（blood–