一类含时间因素工作流的建模与时间性能挖掘

摘要/Abstract

摘要： 时间控制和管理是工作流研究中的重要问题，针对一类含时间因素的工作流，给出了Petri网建模方法，分析了含时间因素工作流Petri网的性质。基于工作流Petri网模型及其可达图，深入挖掘了理想主活动线、稳妥主活动线和最佳状态线，分析了影响整个工作流完成时间的决定性因素以及工作流活动安排的最佳安全方案，给出了寻找理想主活动线、稳妥主活动线和最佳状态线的方法，证明了工作流的最佳状态线存在的充分条件。

关键词: 工作流, 可达图, 理想主活动线, 稳妥主活动线

Abstract: ime control and management is important in workflow. To deal with a kind of workflow with timing factor, the modeling and analysis methods for this kind of workflow based on Petri net were presented. With the Petri net model and its reachable graph, the ideally main activities, the reliable main activities and the optimal state schema were discussed in detail. Determining factors influencing completion time of overall workflow and the best schema for the workflow scheduling were analyzed. Furthermore searching methods for the ideally main activities, the reliable main activities and the optimal state schema were provided. Finally the sufficient conditions were also obtained for the existence of the optimal state schema of any timing workflow.

Key words: workflow, reachability graph, ideally main activities, reliably main activities, optimal state

中图分类号:

TP317.12

曾庆田, 段华,. 一类含时间因素工作流的建模与时间性能挖掘[J]. .

ZENG Qing-tian,, DUAN Hua,. Modeling and time mining for workflow involving time factors[J]. .

参考文献

［1］Workflow Management Coalition. The workflow reference model［Z］. Hampshire, U.K.: Winchester, 1995.

[2] FAN Yushun, WU Cheng. Research on workflow management technology and current and future products［J］. Computer Integrated Manufacturing Systems, 2000,6(1):1-7 (in Chinese). ［范玉顺,吴澄.工作流管理技术研究与产品现状及发展趋势［J］.计算机集成制造系统,2000,6(1):1-7.］

[3] ZENG Qingtian. Behavior descriptions of structure-complex Petri nets based on synchronous composition［J］. Journal of Software, 2004, 15(3):327-337(in Chinese).\[曾庆田.　基于同步合成的结构复杂Petri网的行为描述\[J\].软件学报，2004,15(3):327-337.\]

[4] ZENG Qingtian, WU Zhehui. Process net system of Petri net［J］. Chinese Journal of Computers, 2002, 25(12): 1308-1315 (in Chinese). ［曾庆田, 吴哲辉. Petri网的进程网系统［J］. 计算机学报, 2002, 25(12): 1308-1315.］

[5] ZENG Qingtian, WU Zhehui. Process expression of unbounded Petri net［J］. Chinese Journal of Computers, 2003, 26(12): 1629-1636 (in Chinese). ［曾庆田, 吴哲辉. 无界Petri网的进程表达式［J］. 计算机学报, 2003, 26(12):1629-1636.］

[6] AALST Van der W M P, HEE van K M. Business process redesign: a Petri-net-based approach［J］. Computers in Industry, 1996, 29(12):15-26.

[7] AALST van der W M P. The application of Petri nets in workflow management［J］. The Journal of Circuits, Systems and Computers, 1998, 8(1): 21-66.

[8] CHEN Xiang, XIA Guoping. Workflow modeling based on colored Petri nets and its soundness analysis［J］. Computer Integrated Manufacturing Systems, 2004,10(4):381-387 (in Chinese). ［陈翔, 夏国平. 基于着色Petri网的工作流建模和合理性分析［J］.计算机集成制造系统, 2004,10(4):381-387.］

[9] LI Jianqiang, FAN Yushun. Research of Petri net based workflow model reduction methods［J］. Information and Control, 2002, 30(6): 492-497(in Chinese).［李建强, 范玉顺. 基于Petri网化简方法的工作流模型验证［J］.信息与控制, 2002, 30(6): 492-497.］

[10] LI Huifang, FAN Yushun. Workflow model analysis based on time constraint Petri nets［J］. Journal of Software, 2004, 15(1):17-26.

[11] LI Wei, ZENG Guangzhou, WANG Xiaolin. A workflow model based on timed Petri net［J］. Journal of Software, 2002, 13(8): 1667-1671(in Chinese).［李炜, 曾广周, 王晓琳.一种基于时间Petri 网的工作流模型［J］. 软件学报, 2002, 13(8): 1667-1671.］

[12] WU Zhehui, WANG Meiqin, WANG Peiliang. Petri net for scheduling engineering projects with non-deterministic duration process steps［J］. Journal of System Science and Mathematics, 1989, 9(4): 289-297 (in Chinese).［吴哲辉, 王美琴, 王培良. 非肯定型工程问题的Petri网方法［J］. 系统科学与数学, 1989, 9(4): 289-297.］

[1]	唐玄昭,余阳,吴荆璞,潘茂林. 基于区块链的业务流程互操作服务框架[J]. 计算机集成制造系统, 2021, 27(9): 2508-2516.
[2]	文一凭,王志斌,刘建勋,许小龙,康国胜. 云际协作环境下能耗与成本感知的工作流调度方法[J]. 计算机集成制造系统, 2021, 27(9): 2583-2591.
[3]	袁友伟,黄锡恺,俞东进,李忠金. 移动边缘计算环境下服务工作流容错调度算法[J]. 计算机集成制造系统, 2021, 27(6): 1693-1702.
[4]	李万清,刘辉,李忠金,袁友伟. 移动边缘计算环境下面向安全和能耗感知的服务工作流调度方法[J]. 计算机集成制造系统, 2020, 26(7): 1831-1842.
[5]	林国丹,黄钦开,余阳,潘茂林. Activiti引擎的无状态云工作流调度算法[J]. 计算机集成制造系统, 2020, 26(6): 1456-1464.
[6]	文一凭,王志斌,刘建勋,许小龙,陈爱民,曹步清. 混合云环境下成本与隐私感知的工作流调度方法[J]. 计算机集成制造系统, 2020, 26(6): 1582-1588.
[7]	韩咚,田银花,杜玉越,张琴. 基于Petri网可达图的业务对齐方法[J]. 计算机集成制造系统, 2020, 26(6): 1589-1606.
[8]	齐平,王福成,徐佳,李学俊. 移动边缘计算环境下基于信任模型的可靠多重计算卸载策略[J]. 计算机集成制造系统, 2020, 26(6): 1616-1627.
[9]	姚艳,曹健. 一种成本有效的面向超参数优化的工作流执行优化方法[J]. 计算机集成制造系统, 2020, 26(6): 1628-1635.
[10]	孙晋永,闻立杰,匡增雄,李涛,张展. 基于数据生成—消耗依赖的语义工作流并行化重构方法[J]. 计算机集成制造系统, 2020, 26(6): 1636-1650.
[11]	袁友伟,刘恒初,俞东进,李忠金. 面向边缘侧卸载优化的工作流动态关键路径调度算法[J]. 计算机集成制造系统, 2019, 25(第4): 798-808.
[12]	魏懿,曹健. 基于机器学习的流程异常预测方法[J]. 计算机集成制造系统, 2019, 25(第4): 864-872.
[13]	文一凭,刘建勋,窦万春,陈爱民,周昱昊. 云工作流环境下隐私感知的多租户访问控制模型[J]. 计算机集成制造系统, 2019, 25(第4): 894-900.
[14]	林兵,项滔,陈国龙,陈星. 混合云环境下面向时延优化的科学工作流数据布局策略[J]. 计算机集成制造系统, 2019, 25(第4): 909-919.
[15]	徐佳,李学俊,丁瑞苗,刘晓. 移动边缘计算中能耗优化的多重资源计算卸载策略[J]. 计算机集成制造系统, 2019, 25(第4): 954-961.