Two Solutions for Checking LTLf Properties in Event Logs

被引：0
|
作者：
Ibershimi, Tedi [1 ]
Xhemalaj, Diellsimeone [1 ]
Alman, Anti [2 ]
Donadello, Ivan [1 ]
Maggi, Fabrizio Maria [1 ]
机构：
[1] Free University of Bozen-Bolzano, Bolzano, Italy
[2] University of Tartu, Tartu, Estonia
来源：
CEUR Workshop Proceedings | 2023年 / 3648卷
关键词：
Engineering Village;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Business Process - Conformance checking - Event logs - Finite traces - In-process - Linear temporal logic - LoG filtering - Process mining - Process-models - Property
引用
收藏
相关论文
共 50 条
  • [31] Model checking for event graphs and event temporal logic
    Xia, Wei
    Yao, Yi-Ping
    Mu, Xiao-Dong
    Ruan Jian Xue Bao/Journal of Software, 2013, 24 (03): : 421 - 432
  • [32] On Checking Properties of Decentralized Controlled Discrete-Event Systems<bold> </bold>
    Nagul, Nadezhda
    Davydov, Artem
    ICNPAA 2018 WORLD CONGRESS: 12TH INTERNATIONAL CONFERENCE ON MATHEMATICAL PROBLEMS IN ENGINEERING, AEROSPACE AND SCIENCES, 2018, 2046
  • [33] SOLUTIONS TO AN EQUATION INVOLVING LOGS
    LOSSERS, OP
    AMERICAN MATHEMATICAL MONTHLY, 1987, 94 (01): : 74 - 75
  • [34] Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications
    Donadello, Ivan
    Felli, Paolo
    Innes, Craig
    Maggi, Fabrizio Maria
    Montali, Marco
    BUSINESS PROCESS MANAGEMENT, BPM 2024, 2024, 14940 : 39 - 56
  • [35] Discovering Two-Level Business Process Models from User Interface Event Logs
    Barba, Irene
    Del Valle, Carmelo
    Jimenez-Ramirez, Andres
    Weber, Barbara
    Reichert, Manfred
    ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2024, 2024, 14663 : 456 - 472
  • [36] Automatic Conversion of Event Data to Event Logs Using CNN and Event Density Embedding
    Sim, Sunghyun
    Sutrisnowati, Riska Asriana
    Won, Seokrae
    Lee, Sanghwa
    Bae, Hyerim
    IEEE ACCESS, 2022, 10 : 15994 - 16009
  • [37] A generic import framework for process event logs
    Gunther, Christian W.
    van der Aalst, Wil M. P.
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2006, 4103 : 81 - 92
  • [38] Autoencoders for improving quality of process event logs
    Hoang Thi Cam Nguyen
    Lee, Suhwan
    Kim, Jongchan
    Ko, Jonghyeon
    Comuzzi, Marco
    EXPERT SYSTEMS WITH APPLICATIONS, 2019, 131 : 132 - 147
  • [39] A framework for detecting deviations in complex event logs
    Li, Guangming
    van der Aalst, Wil M. P.
    INTELLIGENT DATA ANALYSIS, 2017, 21 (04) : 759 - 779
  • [40] Discovering Signature Patterns from Event Logs
    Bose, R. P. Jagadeesh Chandra
    van der Aalst, Wil M. P.
    2013 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DATA MINING (CIDM), 2013, : 111 - 118
12345