论文部分内容阅读
对于Petri网,与基于可达图的状态空间搜索方法相比,基于展开的状态空间搜索方法不需要考虑并发事件间的所有可能交织,可避免状态空间爆炸问题。通过例子,直观比较可达图和出现网的规模,由此说明基于展开的状态空间搜索不会产生状态空间爆炸。
基于展开的状态空间搜索方法
【摘 要】
：
对于Petri网,与基于可达图的状态空间搜索方法相比,基于展开的状态空间搜索方法不需要考虑并发事件间的所有可能交织,可避免状态空间爆炸问题。通过例子,直观比较可达图和出
【机 构】
：
云南大学软件学院,西南林业大学大数据与智能工程学院
【出 处】
：
电子技术与软件工程
【发表日期】
：
2018年10期
【基金项目】
：
云南省自然科学基金资助项目(2016FB102)
其他文献
目前浙江高校实行了第二课堂成绩单制度,将创新创业作为第二课堂必不可少的重要内容,创新创业校园文化氛围愈加浓厚。实践证明,高校应继续从统筹构建创新创业教育工作体系、
网络文化产业的核心竞争力主要取决于网络文化资源的整合能力与传播能力,大数据技术的运用将有助于提升网络文化资源的整合与传播效率,实现网络文化资源价值的最大化。近年来
【教学内容】五色令人目盲;五音令人耳聋;五味令人口爽;驰骋畋猎,令人心发狂。难得之货,令人行妨。是以圣人为腹不为目,故去彼取此。——《老子》(第十二章)【教学目标】1.熟
鼻胃管的临床应用十分广泛，其治疗效果又受诸多因素的影响，在实践中证明，鼻胃管插入深度不够是重要因素。教科书中都规定成年人鼻胃管插入深度的标准45—55cm，过去平均插入50cm左
目的应用超声研究类风湿性关节炎(RA)病人膝关节滑膜的病变.方法通过高频超声及彩色多普勒超声对RA病例组(40例)与正常对照组(45例)的滑膜厚度进行对比观察,对RA组治疗前后滑
2018年11月8日,国际技术集团安德里茨已获得西班牙Grupo SARI(鲁比工业)的订单,为其生产针刺毛毡提供一条neXline针刺生产线。该生产线可加工多种原材料,如聚酯、聚丙烯、双
目的分析采用舒芬太尼联合瑞芬太尼对患者实施全身麻醉的临床价值。方法选取2016年11月~2018年11月在我院接受手术治疗期间进行全身麻醉的患者102例作为研究对象,以随机分组
简要介绍了煤制天然气的技术特点,并结合中国能源结构特点进行了分析研究,重点对其未来应用前景进行了展望。煤制天然气作为一种新型煤化工技术,符合中国“富煤贫气”的能源