| 基于约束优化的Petri网可达性分析 |
| |
| 引用本文： | 杨夏妮,龙法宁,张远夏.基于约束优化的Petri网可达性分析[J].计算机应用,2013,33(4):1128-1131. |
| |
| 作者姓名： | 杨夏妮 龙法宁 张远夏 |
| |
| 作者单位： | 玉林师范学院 计算机科学与工程学院，广西 玉林 537000 |
| |
| 基金项目： | 广西壮族自治区教育厅科研项目，玉林师范学院青年科研项目，玉林师范学院专项 |
| |
| 摘 要： | Petri网的可达性判定问题是进行Petri网分析的基础。通过分析目前求解Petri网可达问题的判定方法和基于约束程序的Petri网可达问题判定方法，提出一种基于约束优化的Petri网可达问题判定方法，该方法是在状态方程法的基础上，利用约束程序寻求可行解，再利用优化求最优解，从而减少问题搜索的分支，达到减少状态方程的解空间的目的。最后通过实例的求解验证算法能够提高判定效率。
|
| 关 键 词： | Petri网 可达性 状态方程 约束 优化 |
| 收稿时间： | 2012-10-29 |
| 修稿时间： | 2012-12-11 |
Reachability analysis of Petri net based on constraint optimization |
| |
| YANG Xia'ni
,
LONG Faning
,
ZHANG Yuanxia.Reachability analysis of Petri net based on constraint optimization[J].journal of Computer Applications,2013,33(4):1128-1131. |
| |
| Authors: | YANG Xia'ni LONG Faning ZHANG Yuanxia |
| |
| Affiliation: | School of Computer Science and Engineering, Yulin Normal University, Yulin Guangxi 537000, China |
| |
| Abstract: | The judgment of reachability is one of the fundamental issues in Petri net analysis. The paper analyzed the existing method and the method based on constraint programming for the reachability of Petri net, and then proposed the judgment method for reachability problem based on constraint optimization. The method was based on the state equation method, separately using the constraint programming and the optimization to seek the feasible solution and the optimal solution, thereby decreased the searching path and attained the purpose of reducing the solution space of the state equation. Finally an example was given to prove that the algorithm can improve the determination efficiency. |
| |
| Keywords: | Petri net reachability state equation constraint optimization |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
