基于Petri网的工作流过程验证方案的研究

计算机与现代化 ›› 2012, Vol. 203 ›› Issue (7): 226-229.doi:

基于Petri网的工作流过程验证方案的研究

卯福启¹，杨建²

1.北方工业大学后勤资产管理处,北京 100144； 2. 北方工业大学信息工程学院,北京 100144

收稿日期:2012-02-20 修回日期:1900-01-01 出版日期:2012-08-10 发布日期:2012-08-10

MAO Fu-qi¹, YANG Jian²

1.Deptment of Asset Management, North China University of Technology, Beijing 100144, China；2. College of Information Engineering, North China University of Technology, Beijing 100144, China

Received:2012-02-20 Revised:1900-01-01 Online:2012-08-10 Published:2012-08-10

摘要/Abstract

摘要： 工作流管理系统最主要的功能是要能够对业务流程的变化做出有效的反应。然而，当前的工作流管理系统并不能灵活应对业务流程的频繁变化，因为它们对所建的工作流模型几乎没有任何检查，以保证一些最低限度的正确性。本文结合Petri网相关理论技术，提出一种将过程模型验证机制集成到工作流流程定制组件中的方法，并对所采用的验证方案进行阐述。


关键词: 工作流, 过程验证, Petri网

Abstract: A critical challenge for workflow management systems is their ability to respond effectively for changes in business processes. However, current workflow management systems can not suite to deal with frequent changes, because there are hardly any checks to assure some minimal level of correctness. This paper presents a method using PetriNetBased techniques which makes the workflow process model verification mechanism integrated into the graphical process design component. As well as the verification algorithm and process are described.


Key words: workflow, process verification, Petri net

中图分类号:

TP301.2

卯福启;杨建. 基于Petri网的工作流过程验证方案的研究[J]. 计算机与现代化, 2012, 203(7): 226-229.

MAO Fu-qi;YANG Jian. [J]. Computer and Modernization, 2012, 203(7): 226-229.

[1]	肖航, 李鹏, 马荟平, 朱枫, . 基于随机Petri网的RFID系统安全性分析模型[J]. 计算机与现代化, 2023, 0(09): 105-114.
[2]	曹禹, 李晓辉, 刘忠麟, 贾贺, 费志伟. 云环境大数据工作流编排管理系统研究综述[J]. 计算机与现代化, 2022, 0(01): 41-53.
[3]	李乾仕, 王淑营, 曾文驱. 柔性工作流路径变更研究与应用[J]. 计算机与现代化, 2021, 0(11): 44-49.
[4]	李海浩, 吴亚锋, 王晓强. 时间Petri网在渗透测试中的应用[J]. 计算机与现代化, 2020, 0(10): 110-115.
[5]	高强1，胡强2. 基于Petri网的服务流程结构健壮性判定[J]. 计算机与现代化, 2018, 0(10): 122-.
[6]	李凯,郭福亮,周钢. 基于T-Petri网的舰船损管指挥过程建模[J]. 计算机与现代化, 2017, 0(12): 103-107.
[7]	王海涛，蒋厚明，王俊，曹海涛. 基于Activiti与DDPush的移动工作流系统实现[J]. 计算机与现代化, 2015, 0(12): 65-.
[8]	吉宏安，马野，李雪红. 基于时间序列的多Agent工作流模型关键技术[J]. 计算机与现代化, 2015, 0(10): 36-39+44.
[9]	韩红云，陈燕，李桃迎. 工作流系统中会签功能的设计与实现[J]. 计算机与现代化, 2014, 0(9): 86-89.
[10]	祁方民 . Petri网结点精化及其应用[J]. 计算机与现代化, 2014, 0(7): 125-128+132.
[11]	邓碧林，王云岚. 基于图割的云环境中工作流调度改进算法[J]. 计算机与现代化, 2014, 0(2): 51-54.
[12]	周林玉1，涂海宁2，冯永平1. 基于Petri网的新型墙材生产系统建模[J]. 计算机与现代化, 2014, 0(12): 113-116+120.
[13]	孟妮;韩丹. 基于CPNTool的换挡过程建模与分析[J]. 计算机与现代化, 2013, 1(8): 111-115.
[14]	周文琼;王乐球;郑述招. 基于工作流的在线代理报关管理系统设计与实现[J]. 计算机与现代化, 2013, 1(8): 214-217,.
[15]	张屏翀. 基于WF的工作流管理系统的设计与实现[J]. 计算机与现代化, 2013, 1(6): 175-178.

基于Petri网的工作流过程验证方案的研究

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价