AN EXTRACTION ALGORITHM FOR A SET OF ELEMENTARY SIPHONS BASED ON MIXED-INTEGER PROGRAMMING
Shao-yong, LI ., Zhiwu, Hesuan, Hu, Abdulrahman Abdulrahman, Ai-Ahmari, Aimin, An · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2012
基本虹吸在为与 Petri 网建模的一个分离事件系统的一条僵局预防政策的发展是有用的。这篇论文建议一个算法反复地在 Petri 网络的一个类上提取一套基本虹吸，有资源(S3PR ) 的简单顺序的进程的叫的系统。在每次重复，由混合整数编程(MIP ) 方法，建议算法发现最大的未做记号的虹吸，在它分类这些地方，从分类地方提取基本虹吸，并且增加新限制以便提取下一基本虹吸。这个算法反复地执行直到没有新未做记号的虹吸能被发现。它最后获得基本虹吸的一个唯一的集合并且避免完全的虹吸枚举。理论分析和例子被给表明它的效率和实际潜力。