Service Computing |
|
|
|
|
Similarity measurement of transition mapping relation using Petri net |
XU Rong-bin, SHI Jun, ZHANG Peng-fei, XIE Ying |
1. Key Laboratory of Intelligent Computing and Signal Processing, Ministry of Education, Anhui University, Hefei 230039, China;
2. School of Computer Science and Technology, Anhui University, Hefei 230601, China;
3. Institute of Bioinspired Intelligence and Knowledge Mining, Anhui University, Hefei 230601, China;
4. Computer Studies Department, Anhui University, Hefei 230601, China |
|
|
Abstract Business process was modeled in order to calculate the similarity of process models accurately by using Petri net which can provide effective guarantee for process comparison, indexing and searching. A similarity measurement method of transition mapping relation was proposed, which utilized five basic process transition relations, including strong linear, weak linear, mutex, parallel and circulation, to improve the traditional workflow models. Process similarity was calculated by measuring the structural similarity of the same transition nodes in different processes. The restrictive adding and deleting transition operations were conducted for process model to achieve the goal of enhancing process similarity. The effectiveness of the proposed method is verified through comparison with different process similarity algorithms.
|
Published: 11 June 2017
|
|
|
Cite this article:
XU Rong-bin, SHI Jun, ZHANG Peng-fei, XIE Ying. Similarity measurement of transition mapping relation using Petri net. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2017, 51(6): 1205-1213.
|
Petri网的映射变迁关系相似性度量
为了准确计算业务流程管理中流程模型的相似性,给流程的比较、索引和搜索提供有效的保证,使用Petri网对业务流程进行建模,提出基于Petri网的映射变迁关系相似性度量方法.利用流程变迁之间存在的5类基本关系:强线性、弱线性、互斥、并行和循环关系改进传统的工作流网模型,通过度量相同变迁节点在不同流程中结构上的相似性来计算流程相似性.实验中对流程模型进行约束性的增加和删除变迁操作,在达到提高流程相似性的目的的同时,通过与不同流程相似性算法的结果进行比较,验证了所提方法对于解决计算流程相似性问题的有效性.
|
|
参考文献(References):
[1] LU Y, YU H, MING Z, et al. A similarity measurement based on structure of business process [C]∥ 20th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD 2016). Nanchang: IEEE, 2016: 498-503.
[2] MONTANI S, LEONARDI G, QUAGLINI S, et al. A knowledge-intensive approach to process similarity calculation [J]. Expert Systems with Applications, 2015, 42(9): 4207-4215.
[3] 殷明,闻立杰,王建民,等.基于变迁紧邻关系重要性的流程相似性算法[J].计算机集成制造系统, 2015,21(2): 344-358.
YIN Ming, WEN Li-jie, WANG Jian-min, et al. Process similarity algorithm based on importance of transition adjacent relation [J]. Computer Integrated Manufacturing Systems, 2015.21(2): 344-358.
[4] SONG M, SUN Z, ZHANG Y, et al. Synthesis of 3D models by Petri net [J]. Journal of Zhejiang University SCIENCE C, 2013, 14(7): 521-529.
[5] 董子禾,闻立杰,黄浩未,等.基于触发序列集合的过程模型行为相似性算法[J].软件学报,2015, 26(3):449-459.
DONG Zi-he, WEN Li-jie, HUANG Hao-wei, et al. Behavioral similarity algorithm for process models based on firing sequence collection [J]. Journal of Software, 2015, 26(3): 449-459.
[6] ZHA H, WANG J, WEN L, et al. A workflow net similarity measure based on transition adjacency relations [J]. Computers in Industry, 2010, 61(5):463-471.
[7] DONGEN B F, MENDLING J, DER A W. Structural patterns for soundness of business process models [C]∥ 10th IEEE International Conference on Enterprise Distributed Object Computing. Hong Kong: IEEE, 2006: 116-128.
[8] WEIDLICH M, ELLIGER F, WESKE M. Generalised computation of behavioural profiles based on petrinet unfoldings [C] ∥ International Workshop on Web Services and Formal Methods. Berlin Heidelberg: Springer, 2010: 101-115.
[9] WANG J, HE T, WEN L, et al. A behavioral similarity measure between labeled Petri nets based on principal transition sequences [C] ∥ OTM Confederated International
Conferences on the Move to Meaningful Internet Systems. Berlin: Springer, 2010: 394-401.
[10] WANG S, YIN M, WANG Z, et al. TAR++: a new process model similarity algorithm based on the importance of TARs [C] ∥ AsiaPacific Conference on Business Process
Management. Busan: Springer, 2015:98-112.
[11] KUNZE M, WEIDLICH M, WESKE M. Behavioral similarity: a proper metric [C]. International Conference on Business Process Management. France: Springer, 2011: 166-181.
[12] 丁力,董利达,朴云.基于Petri网的并发编程死锁预防策略[J].浙江大学学报:理学版,2012, 39(1): 43-49.
DING Li, DONG Li-da, PIAO Yun. Deadlock prevention policy of concurrent programming based on Petri net [J]. Journal of Zhejiang University: Science Edition, 2012, 39(1): 43-49.
[13] MA Z, LI Z, GIUA A. Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints [J]. IEEE Transactions on Automatic Control, 2015, 60(7): 1774-1785.
[14] QIAO Y, WU N Q, ZHOU M C. A Petri net-based novel scheduling approach and its cycle time analysis for dual-arm cluster tools with wafer revisiting [J]. IEEE
Transactions on Semiconductor manufacturing, 2013, 26(1): 100-110.
[15]曹斌,王佳星,范菁,等.基于Petri网的流程间元素映射方法[J].软件学报,2015,26(3): 474-490.
CAO Bin, WANG Jia-xing, FAN Jing, et al. Mapping elements between process models based on Petri net [J]. Journal of Software, 2015,26(3): 474-490. |
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|