%0 Journal Article
%T 基于约束优化的petri网可达性分析
%A 杨夏妮
%A 龙法宁
%A 张远夏
%J 计算机应用
%D 2013
%X ？petri网的可达性判定问题是进行petri网分析的基础。通过分析目前求解petri网可达问题的判定方法和基于约束程序的petri网可达问题判定方法，提出一种基于约束优化的petri网可达问题判定方法，该方法是在状态方程法的基础上，利用约束程序寻求可行解，再利用优化求最优解，从而减少问题搜索的分支，达到减少状态方程的解空间的目的。最后通过实例的求解验证算法能够提高判定效率。
%K petri网
%K 可达性
%K 状态方程
%K 约束
%K 优化
%U http://www.joca.cn/CN/abstract/abstract16330.shtml