期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
判定工作流网S-可覆盖性的有效算法
被引量:
2
1
作者
鲁法明
曾庆田
包云霞
《计算机集成制造系统》
EI
CSCD
北大核心
2012年第8期1757-1765,共9页
为有效判定工作流网的S-可覆盖性,将工作流网的S-可覆盖性判定转化为线性规划问题,借助单纯形方法给出一个判定工作流网S-可覆盖性的有效算法。对单纯形算法进行扩展,在判定工作流网S-可覆盖性的同时可以求出一组S-不变量的极小支集。...
为有效判定工作流网的S-可覆盖性,将工作流网的S-可覆盖性判定转化为线性规划问题,借助单纯形方法给出一个判定工作流网S-可覆盖性的有效算法。对单纯形算法进行扩展,在判定工作流网S-可覆盖性的同时可以求出一组S-不变量的极小支集。只要给定的工作流网满足S-可覆盖性,上述算法就可以求出一组覆盖所有库所的S-不变量的极小支集。结合投诉处理业务流程实例对算法进行了验证。
展开更多
关键词
工作流网
PETRI网
s-可覆盖性
s-
不变量
下载PDF
职称材料
题名
判定工作流网S-可覆盖性的有效算法
被引量:
2
1
作者
鲁法明
曾庆田
包云霞
机构
山东科技大学信息科学与工程学院
山东科技大学理学院
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2012年第8期1757-1765,共9页
基金
国家自然科学基金资助项目(61170079)
山东省科技发展计划资助项目(2010GSF10811)
+7 种基金
教育部高校博士点基金资助项目(20103718110007)
煤炭部指导性计划资助项目(MTKJ2011-370)
青岛市科技支撑计划资助项目(10-3-3-32-nsh
2011-2-47)
山东科技大学杰出青年基金资助项目(2010KYJQ101)
山东科技大学科研创新团队支持计划资助项目(2011KYTD102)
山东科技大学春雷计划资助项目(2010AZZ177
2010AZZ069)~~
文摘
为有效判定工作流网的S-可覆盖性,将工作流网的S-可覆盖性判定转化为线性规划问题,借助单纯形方法给出一个判定工作流网S-可覆盖性的有效算法。对单纯形算法进行扩展,在判定工作流网S-可覆盖性的同时可以求出一组S-不变量的极小支集。只要给定的工作流网满足S-可覆盖性,上述算法就可以求出一组覆盖所有库所的S-不变量的极小支集。结合投诉处理业务流程实例对算法进行了验证。
关键词
工作流网
PETRI网
s-可覆盖性
s-
不变量
Keywords
workflow nets
Petri nets
s-
coverability
s-
invariants
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
判定工作流网S-可覆盖性的有效算法
鲁法明
曾庆田
包云霞
《计算机集成制造系统》
EI
CSCD
北大核心
2012
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部