%0 Journal Article
%T 判定工作流网S-可覆盖性的有效算法
%A 鲁法明
%A 曾庆田+
%A 包云霞
%J 计算机集成制造系统
%P 0-0
%D 2012
%X 为有效判定工作流网的S-可覆盖性，将工作流网的S-可覆盖性判定转化为线性规划问题，借助单纯形方法给出一个判定工作流网S-可覆盖性的有效算法。对单纯形算法进行扩展，在判定工作流网S-可覆盖性的同时可以求出一组S-不变量的极小支集。只要给定的工作流网满足S-可覆盖性，上述算法就可以求出一组覆盖所有库所的S-不变量的极小支集。结合投诉处理业务流程实例对算法进行了验证。
%K 工作流网
%K Petri网
%K S-可覆盖性
%U http://www.cims-journal.cn/CN/abstract/abstract3478.shtml