Sampling and approximation techniques for efficient process conformance checking

被引：0
|
作者：
Bauer, Martin [1 ]
van der Aa, Han [2 ]
Weidlich, Matthias [1 ]
机构：
[1] Department of Computer Science, Humboldt-Universität zu Berlin, Berlin, Germany
[2] Data and Web Science Group, University of Mannheim, Germany
来源：
Information Systems | 2022年 / 104卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Process Discovery and Conformance Checking in Modular Construction Using RFID and Process Mining
    Rashid, Khandakar M.
    Louis, Joseph
    CONSTRUCTION RESEARCH CONGRESS 2020: COMPUTER APPLICATIONS, 2020, : 640 - 648
  • [42] Techniques for efficient software checking
    Yu, Jing
    Garzaran, Maria Jesus
    Snir, Marc
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2008, 5234 : 16 - 31
  • [43] Process conformance checking method based on alignment of direct succession relations
    Fang H.
    Li D.
    Sun S.
    Fang X.
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2020, 26 (06): : 1473 - 1482
  • [44] Dependence-Based Data-Aware Process Conformance Checking
    Song, Wei
    Jacobsen, Hans-Arno
    Zhang, Chengzhen
    Ma, Xiaoxing
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2021, 14 (03) : 654 - 667
  • [45] Video Process Mining and Model Matching for Intelligent Development: Conformance Checking
    Chen, Shuang
    Zou, Minghao
    Cao, Rui
    Zhao, Ziqi
    Zeng, Qingtian
    SENSORS, 2023, 23 (08)
  • [46] Conformance checking in UML artifact-centric business process models
    Estanol, Montserrat
    Munoz-Gama, Jorge
    Carmona, Josep
    Teniente, Ernest
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (04): : 2531 - 2555
  • [47] Conformance checking in UML artifact-centric business process models
    Montserrat Estañol
    Jorge Munoz-Gama
    Josep Carmona
    Ernest Teniente
    Software & Systems Modeling, 2019, 18 : 2531 - 2555
  • [48] Anti-alignments in Conformance Checking - The Dark Side of Process Models
    Chatain, Thomas
    Carmona, Josep
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2016, 2016, 9698 : 240 - 258
  • [49] Grammar-Based Process Model Representation for Probabilistic Conformance Checking
    Watanabe, Akio
    Takahashi, Yousuke
    Ikeuchi, Hiroki
    Matsuda, Kotaro
    2022 4TH INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2022), 2022, : 88 - 95
  • [50] Conformance Checking of RBAC Policies in Process-Aware Information Systems
    Baumgrass, Anne
    Baier, Thomas
    Mendling, Jan
    Strembeck, Mark
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT II, 2012, 100 : 435 - +
12345