论文部分内容阅读
Petri网的可达树是一个基础的强有力的分析方法和工具，它可以用来分析各种性能，包括活性、有界性、保持性、可达性和可覆盖性。本文主要利用改进可达树对Petri网的活性和可达性进行分析研究，并基于改进可达树的算法实现对一库所无界Petri网进行死锁检测。
利用改进可达树检查一库所无界Petri网的死锁
【摘 要】
：
Petri网的可达树是一个基础的强有力的分析方法和工具，它可以用来分析各种性能，包括活性、有界性、保持性、可达性和可覆盖性。本文主要利用改进可达树对Petri网的活性和可达性
【机 构】
：
成都理工大学
【出 处】
：
电脑与电信
【发表日期】
：
2012年1期
其他文献
针对当前高校电子服务的发展,提出了构建一个以模糊评测算法为核心、以高校电子服务平台作为载体、以获取用户满意度为目标的数字服务评价系统。采用单因素评测模型和多因素
目的：探讨急性冠脉综合征患者血浆可溶性P选择素和血管性假性血友病因子水平的变化。方法：应用酶联免疫吸附法检测62例急性冠脉综合征患者、54例稳定型心绞痛患者和38例冠状动
理实一体化教学模式是一种符合学生学习特点、顺应职业教育规律的教学模式，本文以软件专业《数据库应用》课程为例，给出了课程的教学内容、方法、评价标准的研究，并提出了分类教
糖尿病已经成为威胁我国人民健康的主要疾病之一。糖尿病患者数量迅速增加,但糖尿病方面的专家数量却不能满足医疗的需要。糖尿病防治知识也没有很好的普及。开发糖尿病诊断
2000年的中小学信息技术教育工作会议是计算机教育转变为信息技术教育的一个重要标志,并由此奠定了信息技术学科作为一门独立学科的地位。在这十年中,全国中小学信息技术教育有了长足的发展,这其中离不开广大信息技术教师的辛勤工作。十年,对于整个历史长河来说不过是白驹过隙,而对于年轻的信息技术学科和信息技术教师来说,则是机遇与挑战并存的重要十年。人们常说,不经历风雨怎能见彩虹,信息技术教师在专业发展道路上披
患者，男性，45岁，医务人员，2006年12月13日以“不规则腹痛1.5个月，加重3d”，门诊B超检查提示“门静脉栓子”收入院。于2006年10月受凉后起病，自觉上腹部持续性隐痛不适，伴腹胀、纳少，自
人工髋关节假体的准确植入是评价手术质量、预后、功能恢复的重要指标,在手术导航系统下可以立体直观地进行全髋关节置换术,准确植入假体,并能实时进行关节功能评估。本文综
新课程下的历史教学,要求我们改变传统的课堂教学方式。传统的历史教学方法单一、枯燥,单纯知识传授和机械记忆让学生学习的积极性下降。而多媒体以图文并茂、声像俱佳、动静皆宜的表现形式和跨越时空的非凡表现力,大大增强了学生对抽象事物与过程的理解与感受,使枯燥抽象的历史课堂教学变得生动活泼。多媒体将历史课堂教学引入全新的境界,把学生带进了一个声、像、图、文并茂的新天地,深深吸引了学生的注意力,触发了学生的学
目的:探讨心肌缺血预适应对急性心肌梗死左室重构的影响。方法:选择急性心肌梗死患者104例,分为缺血预适应组(n=53)及非缺血预适应组(n=51),分别于入院后24 h、1周、1个月及3