计算机科学 ›› 2018, Vol. 45 ›› Issue (6): 156-160.doi: 10.11896/j.issn.1002-137X.2018.06.027
赵培海, 王咪咪
ZHAO Pei-hai, WANG Mi-mi
摘要: 在业务流程模型的相似性分析过程中,有时会出现环结构。已有的方法一般不考虑环结构,忽略了环结构对模型一致性分析的影响。以Petri网的多重变迁集为基础,提出一种新的一致性度测量方法。首先通过分析5种行为序列关系来刻画Petri网的变迁之间的相互关系,给出了三维行为关系图的概念;然后对Petri网的三维行为关系图间的关系进行研究,提出了基于Petri网的三维行为关系图的一致性检测方法。理论分析和实例测试均表明了该方法的有效性。
中图分类号:
[1]MURATA T.Petri nets:Properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-580. [2]WANG M,LIU G,JIANG C,et al.Computation of Secure Consistency for Real Systems[C]//International Conference on Security,Privacy and Anonymity in Computation,Communication and Storage.Springer,Cham,2016:84-97. [3]LIU X,FANG X,WANG M,et al.The Behavior Trustworthiness Analysis Methods of Composite Web Services Based on Process Mining [J].Applied Mathematics and Information Sciences,2013,7(5):1985-1992. [4]FANG X,WANG M,YIN Z.Behavior Consistency Analysis Based on the Behavior Profile about Transition Multi-Set of Petri Net [J].Przeglad Elektrotechniczny(Electrical Review),2013,89(1b):171-173. [5]DIJKMAN R,DUMAS M,VAN DONGEN B,et al.Similarity of business process models:Metrics and evaluation [J].Information Systems,2011,36(2):498-516. [6]WALSHE B.Identifying complex semantic matches[M]//The Semantic Web:Research and Applications.Springer,Berlin:Heidelberg,2012:849-853. [7]SCHÖNBERGER A,WIRTZ G.Taxonomy on Consistency Requirements in the Business Process Integration Context[C]//Proceedings of 2008 Conference on Software Engineering and Knowledge Engineering(SEKE’2008).2008:593-598. [8]ROZINAT A,VAN DER AALST W M P.Conformance checking of processes based on monitoring real behavior [J].Information Systems,2008,33(1):64-95. [9]TINI S,LARSEN K G,GEBLER D.Compositional bisimulation metric reasoning with probabilistic process calculi[J].Logical Methods in Computer Science,2017,12(4):1-38. [10]POLYVYANYY A,WEIDLICH M,CONFORTI R,et al.The 4C spectrum of fundamental behavioral relations for concurrent systems[C]//International Conference on Applications and Theory of Petri Nets and Concurrency.Springer,Cham,2014:210-232. [11]ARMAS-CERVANTES A,BALDAN P,DUMAS M,et al. Diagnosing behavioral differences between business process mo-dels:An approach based on event structures [J].Information Systems,2016,56(C):304-325. [12]WEIDLICH M,MENDLING J.Perceived consistency between process models [J].Information Systems,2012,37(2):80-98. [13]WEIDLICH M,MENDLING J,WESKE M.Efficient consistency measurement based on behavioral profiles of process models [J].IEEE Transactions on Software Engineering,2011,37(3):410-429. [14]ARMAS-CERVANTES A,DUMAS M,GARCíA-BAÑUELOS L,et al.On the suitability of generalized behavioral profiles for process model comparison [M]//Web Services,Formal Me-thods,and Behavioral Types.Springer,Cham,2014:13-28. [15]POLYVYANYY A,ARMAS-CERVANTES A,DUMAS M, et al.On the expressive power of behavioral profiles[J].Formal Aspects of Computing,2016,28(4):597-613. [16]ENGELFRIET J.Branching processes of Petri nets [J].Acta Informatica,1991,28(6):575-591. [17]COUVREUR J M,POITRENAUD D,WEIL P.Branching processes of general Petri nets[J].Fundamenta Informaticae,2013,122(1/2):31-58. |
[1] | 罗熊丰, 翟象平. 基于空间运动约束的无人机碰撞回避规划 Collision Avoidance Planning for Unmanned Aerial Vehicles Based on Spatial Motion Constraints 计算机科学, 2022, 49(9): 194-201. https://doi.org/10.11896/jsjkx.210700107 |
[2] | 陈晶, 吴玲玲. 多源异构环境下的车联网大数据混合属性特征检测方法 Mixed Attribute Feature Detection Method of Internet of Vehicles Big Datain Multi-source Heterogeneous Environment 计算机科学, 2022, 49(8): 108-112. https://doi.org/10.11896/jsjkx.220300273 |
[3] | 王坤姝, 张泽辉, 高铁杠. 基于Hachimoji DNA和QR分解的遥感图像可逆隐藏算法 Reversible Hidden Algorithm for Remote Sensing Images Based on Hachimoji DNA and QR Decomposition 计算机科学, 2022, 49(8): 127-135. https://doi.org/10.11896/jsjkx.210700216 |
[4] | 金方焱, 王秀利. 融合RACNN和BiLSTM的金融领域事件隐式因果关系抽取 Implicit Causality Extraction of Financial Events Integrating RACNN and BiLSTM 计算机科学, 2022, 49(7): 179-186. https://doi.org/10.11896/jsjkx.210500190 |
[5] | 吴功兴, 孙兆洋, 琚春华. 考虑中断风险与模糊定价的闭环供应链网络设计模型 Closed-loop Supply Chain Network Design Model Considering Interruption Risk and Fuzzy Pricing 计算机科学, 2022, 49(7): 220-225. https://doi.org/10.11896/jsjkx.201100084 |
[6] | 彭双, 伍江江, 陈浩, 杜春, 李军. 基于注意力神经网络的对地观测卫星星上自主任务规划方法 Satellite Onboard Observation Task Planning Based on Attention Neural Network 计算机科学, 2022, 49(7): 242-247. https://doi.org/10.11896/jsjkx.210500093 |
[7] | 吴苏洁, 周杰, 王学英, 吕智康, 邵根富. 降雨环境下毫米波MIMO信道特性研究 Study on Characteristics of Millimeter-wave MIMO Channel in Rainfall Environment 计算机科学, 2022, 49(7): 297-303. https://doi.org/10.11896/jsjkx.210600075 |
[8] | 高文龙, 周天阳, 朱俊虎, 赵子恒. 基于双向蚁群算法的网络攻击路径发现方法 Network Attack Path Discovery Method Based on Bidirectional Ant Colony Algorithm 计算机科学, 2022, 49(6A): 516-522. https://doi.org/10.11896/jsjkx.210500072 |
[9] | 黄华伟, 李春华. 一种基于热带半环的密钥建立协议的安全性分析 Security Analysis of A Key Exchange Protocol Based on Tropical Semi-ring 计算机科学, 2022, 49(6A): 571-574. https://doi.org/10.11896/jsjkx.210700046 |
[10] | 王方红, 范兴刚, 杨静静, 周杰, 王德恩. 一种基于有向感知区域调整的强栅栏构建算法 Strong Barrier Construction Algorithm Based on Adjustment of Directional Sensing Area 计算机科学, 2022, 49(6A): 612-618. https://doi.org/10.11896/jsjkx.210300291 |
[11] | 陆浩松, 胡勇华, 王书盈, 周新莲, 李慧祥. 向量DSP的混合资源启发式循环展开因子选择方法研究 Study on Hybrid Resource Heuristic Loop Unrolling Factor Selection Method Based on Vector DSP 计算机科学, 2022, 49(6A): 777-783. https://doi.org/10.11896/jsjkx.210400146 |
[12] | 赵丹丹, 黄德根, 孟佳娜, 董宇, 张攀. 基于BERT-GRU-ATT模型的中文实体关系分类 Chinese Entity Relations Classification Based on BERT-GRU-ATT 计算机科学, 2022, 49(6): 319-325. https://doi.org/10.11896/jsjkx.210600123 |
[13] | 喻昕, 林植良. 解决一类非光滑伪凸优化问题的新型神经网络 Novel Neural Network for Dealing with a Kind of Non-smooth Pseudoconvex Optimization Problems 计算机科学, 2022, 49(5): 227-234. https://doi.org/10.11896/jsjkx.210400179 |
[14] | 秦小月, 黄汝维, 杨波. 基于素数幂次阶分圆环的NTRU型全同态加密方案 NTRU Type Fully Homomorphic Encryption Scheme over Prime Power Cyclotomic Rings 计算机科学, 2022, 49(5): 341-346. https://doi.org/10.11896/jsjkx.210300089 |
[15] | 李晓东, 於志勇, 黄昉菀, 朱伟平, 涂淳钰, 郑伟楠. 面向河道环境监测的群智感知参与者选择策略 Participant Selection Strategies Based on Crowd Sensing for River Environmental Monitoring 计算机科学, 2022, 49(5): 371-379. https://doi.org/10.11896/jsjkx.210200005 |
|