时间约束工作流模型的可调度性分析算法

摘要/Abstract

摘要： 针对目前工作流管理系统对时间管理支持的严重局限，提出了基于Petri网的工作流时间约束建模方法。首先，将工作流网扩展为时间约束工作流网，然后分析了工作流网的时间特性，并提出了时间约束工作流网的可调度性分析算法。研究结果表明，所提出的建模方法能全面描述工作流系统中的时间信息，对丰富工作流系统的时间约束建模理论具有重要的参考价值。

关键词: 工作流, 时间约束, Petri网, 可调度性分析

Abstract: For the important limitation of actual WorkFlow Management Systems(WFMS)， a Petri nets-based workflow modeling method for time constraints is put forward. Firstly， we extend the workflow nets with time constraints and call the new nets Timing Constraint workflow nets (TCWF-nets)， then after analyzing the timing property of WorkFlow nets (WF-nets)， we proposed the schedulability analysis algorithm of TCWF-nets. The research results show that our method can roundly describe the time information and has the important reference value in enriching the theory of the time constraint modeling in WFMS.

Key words: workflow, time constraints, Petri nets, schedulability analysis

中图分类号:

F270.7

李慧芳，范玉顺. 时间约束工作流模型的可调度性分析算法[J]. .

LI Hui-fang，FAN Yu-shun. Schedulability Analysis Algorithm for Timing Constraint Workflow Models[J]. .

[1]	唐玄昭,余阳,吴荆璞,潘茂林. 基于区块链的业务流程互操作服务框架[J]. 计算机集成制造系统, 2021, 27(9): 2508-2516.
[2]	文一凭,王志斌,刘建勋,许小龙,康国胜. 云际协作环境下能耗与成本感知的工作流调度方法[J]. 计算机集成制造系统, 2021, 27(9): 2583-2591.
[3]	鲁法明,崔明浩,包云霞,曾庆田,段华. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2611-2624.
[4]	王丽丽,方贤文. 基于行为距离的带隐变迁过程模型挖掘方法[J]. 计算机集成制造系统, 2021, 27(9): 2670-2679.
[5]	袁友伟,黄锡恺,俞东进,李忠金. 移动边缘计算环境下服务工作流容错调度算法[J]. 计算机集成制造系统, 2021, 27(6): 1693-1702.
[6]	张海军,闫琼,张国辉,李庆宇,余杰. 基于数字孪生的制造资源动态优选决策[J]. 计算机集成制造系统, 2021, 27(2): 521-535.
[7]	李文川,高思源,章鑫,冯良清. 基于随机Petri网的企业RFID技术采纳内化建模与仿真[J]. 计算机集成制造系统, 2020, 26(第2): 470-480.
[8]	何彦,陈文奇,王禹林,岳冠楠,李育锋,田小成. 集成设计参数和制造参数的车削工件机加工能耗预测方法[J]. 计算机集成制造系统, 2020, 26(9): 2355-2366.
[9]	张立彬,吕焕培,胥芳,谭大鹏,陈教料,林琼. 面向低压电器的CPN协同装配任务建模与优化[J]. 计算机集成制造系统, 2020, 26(7): 1737-1748.
[10]	李万清,刘辉,李忠金,袁友伟. 移动边缘计算环境下面向安全和能耗感知的服务工作流调度方法[J]. 计算机集成制造系统, 2020, 26(7): 1831-1842.
[11]	林国丹,黄钦开,余阳,潘茂林. Activiti引擎的无状态云工作流调度算法[J]. 计算机集成制造系统, 2020, 26(6): 1456-1464.
[12]	刘聪,程龙,曾庆田,闻立杰,欧阳春. 基于Petri网的分层业务过程挖掘方法[J]. 计算机集成制造系统, 2020, 26(6): 1525-1537.
[13]	黄苾,代飞,王亚博,莫启,曹涌,王雷光. 基于Petri网分析编排的可实现性[J]. 计算机集成制造系统, 2020, 26(6): 1548-1556.
[14]	文一凭,王志斌,刘建勋,许小龙,陈爱民,曹步清. 混合云环境下成本与隐私感知的工作流调度方法[J]. 计算机集成制造系统, 2020, 26(6): 1582-1588.
[15]	韩咚,田银花,杜玉越,张琴. 基于Petri网可达图的业务对齐方法[J]. 计算机集成制造系统, 2020, 26(6): 1589-1606.

时间约束工作流模型的可调度性分析算法

Schedulability Analysis Algorithm for Timing Constraint Workflow Models

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics