国家教育部博士点基金(20103718110007)
- 作品数：5 被引量：40H指数：2
- 相关作者：鲁法明曾庆田包云霞刘聪孟德存更多>>
- 相关机构：山东科技大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金公益性行业(农业)科研专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri网的跨组织应急联动处置系统建模与分析被引量：31
- 2013年
- 应急联动系统具有的跨组织特性、组织部门间任务协同模式的复杂性以及应急处置时间和资源消耗的不确定性,使得跨组织应急联动系统缺乏形式化的建模和分析方法.为此,文中针对跨组织应急联动系统的形式化建模和分析方法进行研究.首先给出了应急联动任务的形式化模型,分析了跨组织协作过程中任务之间存在的各种关系;在Petri网模型的基础上扩展了任务执行组织部门、资源消耗以及消息传递等任务要素,提出了OTRM_Net的概念,并以此为工具对跨组织应急联动系统中的任务协同模式和应急处置流程进行了形式化建模;最后,基于OTRM_Net模型研究了应急处置流程的时间性能分析、资源冲突检测以及部门内部任务化简等问题,针对上述问题提出了形式化的解决方案.
- 曾庆田鲁法明刘聪孟德存
- 关键词：应急联动系统跨组织工作流PETRI网
- 求取S-不变量基的新算法
- 2011年
- S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S-不变量基的算法,并提出一些筛选规则以提高枚举的性能。
- 包云霞鲁法明
- 关键词：PETRI网
- 基于流程案例簇的任务关系挖掘算法被引量：7
- 2013年
- 为了进行流程发现,提出一种基于流程案例簇的任务关系挖掘方法。该方法首先将基本案例按照特征向量分为多个案例簇,根据基本案例的任务轨迹对案例簇中任务间的依赖关系进行挖掘;然后给出了基于循环基元的循环结构建模和挖掘方法,最终可以从事件日志导出流程中完整的任务依赖关系以及存在的循环结构。所提方法能正确处理任务依赖关系随案例属性取值不同而变化的情况。只要日志完备,基于挖掘到的任务关系和循环结构就能得到一个与原流程行为等价的流程模型。
- 鲁法明曾庆田包云霞段华张昊
- 关键词：业务流程管理
- 基于颜色Petri网的有偿交互QA系统投诉模型
- 2014年
- 有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉。通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行形式化建模;然后使用CPN Tools对所建立的形式化模型进行验证;最后对所建模型的状态空间报告进行分析,证明了系统各响应流程设计的正确性等特性。所提出的方法对有偿交互QA系统的综合形式化分析具有重要意义。
- 李彦成曾庆田鲁法明薛洁
- 关键词：颜色PETRI网CPNTOOLS
- 判定工作流网S-可覆盖性的有效算法被引量：2
- 2012年
- 为有效判定工作流网的S-可覆盖性,将工作流网的S-可覆盖性判定转化为线性规划问题,借助单纯形方法给出一个判定工作流网S-可覆盖性的有效算法。对单纯形算法进行扩展,在判定工作流网S-可覆盖性的同时可以求出一组S-不变量的极小支集。只要给定的工作流网满足S-可覆盖性,上述算法就可以求出一组覆盖所有库所的S-不变量的极小支集。结合投诉处理业务流程实例对算法进行了验证。
- 鲁法明曾庆田包云霞
- 关键词：工作流网PETRI网
