判定工作流网S-可覆盖性的有效算法

摘要：

　　为有效判定工作流网的S-可覆盖性，将工作流网的S-可覆盖性判定转化为线性规划问题，借助单纯形方法给出一个判定工作流网S-可覆盖性的有效算法。对单纯形算法进行扩展，在判定工作流网S-可覆盖性的同时可以求出一组S-不变量的极小支集。只要给定的工作流网满足S-可覆盖性，上述算法就可以求出一组覆盖所有库所的S-不变量的极小支集。结合投诉处理业务流程实例对算法进行了验证。

关键词： 工作流网 业务流程 Petri网 S-可覆盖性 算法理论

作者: 鲁法明 曾庆田 包云霞

作者单位: 山东科技大学信息科学与工程学院,山东青岛 266590 山东科技大学理学院,山东 青岛 266590

会议类型: 国内会议

会议名称: 第二届中国业务过程管理大会

会议地点: 北京

会议语种:中文

页码: 1757-1765

在线出版日期: 2012-08-01（万方平台首次上网日期，不代表论文的发表时间）