工作流网合成规则及其在流程设计中的应用

doi:10.3969/j.issn.1001-2400.2012.02.033

J4 ›› 2012, Vol. 39 ›› Issue (2): 200-206.doi: 10.3969/j.issn.1001-2400.2012.02.033

工作流网合成规则及其在流程设计中的应用

张曼¹;段振华^1,2

(1. 西安电子科技大学计算理论与技术研究所，陕西西安 710071;
2. 西安电子科技大学综合业务网理论及关键技术国家重点实验室，陕西西安 710071)

收稿日期:2011-08-03 出版日期:2012-04-20 发布日期:2012-05-21
作者简介:张曼(1984-)，女，西安电子科技大学博士研究生，E-mail: zhangman705@gmail.com．
基金资助:
国家自然科学基金资助项目(60910004, 60873018, 91018010, 61003078, 61003079, 61133001); 国家重点基础研究发展计划(973)资助项目(2010CB328102); 综合业务网理论及关键技术国家重点实验室基金资助项目(ISN1102001); 中央高校基本科研业务费专项资金资助项目(JY10000903004)

Synthesis rules of WF-nets and their application in process design

ZHANG Man¹;DUAN Zhenhua^1,2

(1. Research Inst. of Computing Theory & Technology, Xidian Univ., Xi'an 710071， China;
2. State Key Lab. of Integrated Service Networks, Xidian Univ., Xi'an 710071， China)

Received:2011-08-03 Online:2012-04-20 Published:2012-05-21

摘要/Abstract

摘要：

针对工作流网建模过程中节点精化方法只能扩展单节点的局限性，提出一种基于Petri网合成规则的工作流网精化方法．在活的和有界的自由选择网合成规则上添加限制，使其适用于自由选择工作流网的精化，定义可分离工作流网及其保持可分离性的合成规则，证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性．使这两类工作流网的精化能够一次涉及多个节点，为其建模提供维度不同且粒度更细的参考原则．

关键词: 工作流, Petri网, 合成规则, 自由选择工作流网, 可分离工作流网

Abstract:

In view of the limitation of one node extension in the node refinement method during the workflow net (WF-net) modeling, a WF-net refinement method based on Petri net synthesis rules is proposed. The synthesis rules of live and bounded free choice nets are added with constraints to adapt them to the refinement of free choice WF-nets. Then separable WF-nets are defined and their separability-preserving synthesis rules are given. It is proved that the synthesized WF-nets by these rules from free choice or separable WF-nets are sound. For the two classes of WF-nets, this method enables their refinement to involve more than one node, and provides their modeling with fine-grained guidelines of a different dimension.

Key words: workflow, Petri net, synthesis rule, free choice WF-net, separable WF-net

中图分类号:

TP311

张曼;段振华. 工作流网合成规则及其在流程设计中的应用[J]. J4, 2012, 39(2): 200-206.

ZHANG Man;DUAN Zhenhua. Synthesis rules of WF-nets and their application in process design[J]. J4, 2012, 39(2): 200-206.

参考文献

［1］ van der Aalst W M P. Workflow Verification: Finding Control-flow Errors Using Petri-net-based Techniques ［C］//Business Process Management 2000, LNCS 1806. Heidelberg: Springer, 2000: 161-183.
［2］ Chrzastowski-Wachtel P, Benatallah B, Hamadi R, et al. A Top-down Petri Net-based Approach for Dynamic Workflow Modeling ［C］//Business Process Management 2003, LNCS 2678. Eindhoven: Springer, 2003: 336-353.
［3］ Ding Z J, Zhang Y Y, Jiang C J, et al. Refinement of Petri Nets in Workflow Integration ［C］//10th Computer Supported Cooperative Work in Design. Nanjing: IEEE, 2006: 667-678.
［4］董利达, 程曦浩, 郑寒. 基于工作流的安全库所替换网特性研究［J］. 浙江大学学报(工学版), 2010, 44(9): 1711-1718.
Dong Lida, Cheng Xihao, Zheng Han. Properties Research of Petri Nets Safety Place Substitution Based on Workflow Nets ［J］. Journal of Zhejiang University (Engineering Science), 2010, 44(9): 1711-1718.
［5］ Esparza J. Reduction and Synthesis of Live and Bounded Free Choice Petri Nets ［J］. Information and Computation, 1994, 114(1): 50-87.
［6］ Esparza J, Silva M. On the Analysis and Synthesis of Free Choice Systems ［C］//Advances in Petri Nets 1990, LNCS 483. Bonn: Springer, 1991: 243-186.
［7］ van der Aalst W M P, Lassen K B. Translating Unstructured Workflow Processes to Readable BPEL: Theory and Implementation ［J］. Information and Software Technology, 2008, 50(3): 131-159.
［8］雷丽晖, 段振华. 使用扩展区间时序逻辑为并发工作流建模［J］. 西安电子科技大学学报, 2007, 34(4): 673-680.
Lei Lihui, Duan Zhenhua. Modelling Concurrent Workflow with the Extended Interval Temporal Logic ［J］. Journal of Xidian University, 2007, 34(4): 673-680.
［9］张曼, 段振华, 王小兵. BPEL流程建模中的交叠模式分析与转换［J］. 软件学报, 2011, 22(11): 2684-2697.
Zhang Man, Duan Zhenhua, Wang Xiaobing. Analysis and Transformation of Overlapped Patterns in BPEL Modeling ［J］. Journal of Software, 2011, 22(11): 2684-2697.
［10］郝克刚, 丁剑洁. 层次结构的Petri网［J］. 计算机科学与探索, 2008, 2(2): 123-130.
Hao Kegang, Ding Jianjie. Hierarchical Petri Nets ［J］. Journal of Frontiers of Computer Science and Technology, 2008, 2(2): 123-130.

[1]	支文韬, 赵辉, 孟繁鑫, 王静, 万波, 王泉. 面向WaaS平台的多工作流容错调度策略[J]. 西安电子科技大学学报, 2025, 52(1): 181-195.
[2]	马英红, 吝李婉, 焦毅, 李秦尧. 通信计算联合优化的图分割工作流部署方法[J]. 西安电子科技大学学报, 2024, 51(2): 13-27.
[3]	邹岷强,马子玥. 一种Petri网最优控制序列的高效设计方法[J]. 西安电子科技大学学报, 2022, 49(3): 199-205.
[4]	王燕. 改进多目标进化算法的云工作流调度[J]. 西安电子科技大学学报, 2019, 46(1): 130-136.
[5]	王祺;陈晓亮. 一种用于柔性制造系统混惑状态估计的算法[J]. 西安电子科技大学学报, 2017, 44(2): 69-74.
[6]	马子玥;童音. 采用基本标识图的Petri网控制策略[J]. 西安电子科技大学学报, 2016, 43(6): 68-73.
[7]	蒋忠远;张秀艳;马子玥. 智能电网中电能存储系统的容量优化[J]. J4, 2015, 42(6): 106-112.
[8]	张秀艳;钟春富;贾建援. S³PR网的可达标识集算法[J]. J4, 2015, 42(5): 105-109.
[9]	张丽;赵良煦;王寿光;汪成英. 针对α网的最优线性约束转换方法[J]. J4, 2015, 42(5): 183-187+212.
[10]	陈晓亮;蒋忠远;叶剑虹 . 工作流网的混或检测和预防策略 [J]. J4, 2015, 42(2): 77-83.
[11]	朱承丞;董利达. 一种多线程软件并发漏洞检测方法 [J]. J4, 2015, 42(2): 167-173+212.
[12]	尤丹;刘苗;吴文慧;王寿光. S³PR网的严格极小信标计算方法[J]. J4, 2014, 41(4): 193-197+204.
[13]	洪良. S³PR网可达标识数的一种有效估算方法[J]. J4, 2014, 41(3): 169-173.
[14]	李晔;王映辉;于振华. 信息物理融合系统的面向对象Petri网建模[J]. J4, 2014, 41(2): 165-171.
[15]	王祺;王安荣;蒲绪强. 制造系统Petri网特殊标识求解算法[J]. J4, 2013, 40(6): 85-91.

工作流网合成规则及其在流程设计中的应用

Synthesis rules of WF-nets and their application in process design

PDF (PC)

赞

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

Metrics

本文评价

推荐阅读 0