广西教育厅科研项目(201106LX515)

作品数：3被引量：3H指数：1
导出分析报告
相关作者：杨夏妮龙法宁张远夏更多>>
相关机构：玉林师范学院更多>>
相关期刊：《计算机应用》《玉林师范学院学报》《计算机应用与软件》更多>>
相关主题：可达性PETRI网可达性分析AOE网PETRI更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于着色Petri网的双向搜索关键路径算法
《玉林师范学院学报》2014年第2期100-105,共6页杨夏妮 
广西壮族自治区教育厅科研立项项目(201106LX515)
提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的...
关键词：着Petri 关键路径 双向搜索 AOE网 
Petri网可达性的伪标识判定法
《计算机应用与软件》2013年第4期153-155,179,共4页杨夏妮 
广西壮族自治区教育厅科研立项项目(201106LX515);玉林师范学院青年科研资助项目(2010YJQN19)
Petri网标识的可达性判定问题是进行Petri网分析的基础。在分析目前现有的判定Petri网可达性的求解方法的基础上,提出一种伪标识判定法。该方法在状态方程法的基础上,利用关联矩阵来判断变迁发射向量是否能够发生来筛除伪标识。通过对...
关键词：PETRI网 可达性 伪标识 
基于约束优化的Petri网可达性分析被引量：3
《计算机应用》2013年第4期1128-1131,共4页杨夏妮 龙法宁 张远夏 
广西壮族自治区教育厅科研项目(201106LX515);玉林师范学院青年科研项目(2010YJQN19);玉林师范学院专项(2012YJZX04)
Petri网的可达性判定问题是进行Petri网分析的基础。通过分析目前求解Petri网可达问题的判定方法和基于约束程序的Petri网可达问题判定方法,提出一种基于约束优化的Petri网可达问题判定方法,该方法是在状态方程法的基础上,利用约束程序...
关键词：PETRI网 可达性 状态方程 约束 优化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部