基于约束程序的变迁约束可达问题判定研究  

Research on constraint programming based transitions constraint's reachability problem

作　　者：覃海生[1] 蓝乾艺[1] 杨夏妮[1] 

机构地区：[1]广西大学计算机与电子信息学院,广西南宁530004

出　　处：《广西大学学报（自然科学版）》2007年第3期307-311,共5页Journal of Guangxi University（Natural Science Edition）

基　　金：广西科学基金资助项目(桂科回0342001);广西教育厅科研基金资助项目(桂教科研200626)

摘　　要：在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U.In the thesis, after analyzing the methods of solving the reachability problem defined in Problem 3,we recreate our constraints model and present a new algorithm. The new algorithm use the Forward Checking method to avoid searching the paths unrelated Tvector U. We also consider the constraints search strategy to make our variables rapidly approaches the target. Our result shows that the algorithm is good at Problem 3 with the Petri net having multi-token and/or repetitive markings.

关 键 词：PETRI网 可达问题 逻辑抽象技术 变迁约束 约束程序 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]