论文部分内容阅读
通过对Petri网可达性的分析，给出满秩Petrl网可达性算法及其实现过程，在VC＋＋平台上对算法进行验算，并对算法运行结果进行可达性讨论；该算法为满秩Petri网可达性的判定提供了一种快速有效的求解方法．
满秩Petri网可达性判定算法的设计与实现
【摘 要】
：
通过对Petri网可达性的分析，给出满秩Petrl网可达性算法及其实现过程，在VC＋＋平台上对算法进行验算，并对算法运行结果进行可达性讨论；该算法为满秩Petri网可达性的判定提供了一种快
【机 构】
：
广西师范学院计算机与信息工程学院
【出 处】
：
广西师范学院学报：自然科学版
【发表日期】
：
2009年3期
其他文献
通过对苏北556名农村留守儿童的相关数据调查,针对家庭功能对农村留守儿童情绪健康的影响效应的实证分析,结果表明:家庭功能与留守儿童之间的情绪健康存在着正相关的关系,本
目的运用中医护理理论探讨急性心肌梗死患者便秘的护理。方法对60例急性心肌梗死患者实施穴位手法按摩,制定效果评定标准,观察实施穴位手法按摩后患者的大便情况。结论急性心
在对广西部分地市农民健身工程示范点进行实地调查访谈和对有关广西的农村体育发展的文献进行大量查阅的基础上，对制约广西农村体育健身服务的因素进行了分析，以期能为广西农村
通过树宽的分解定理，得到有关Dn,4演化的蜘蛛图，花蕊图的树宽表达式，以及三合图和四合图的树宽表达式．
加强双师双能型教师队伍建设,提升教师专业实践能力是地方高校向应用型转型的重要保障。沈阳城市学院立足学校实际情况,开展了教师假期参加企业实践工作,形成了具有学校特色
<正> 根据补骨脂具有“温肾,补精髓与劳伤”和“治五劳七伤,内虚冷骨髓伤败”的作用,从1973年起我们应用补骨脂丸治疗白细胞减少症19例,收到了较好的效果,兹介绍如下: