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 条
  • [41] Auditing Between Event Logs and Process Trees
    Li, Hongxia
    Hou, Haixia
    Du, Yuyue
    Liu, Zhi
    DIGITAL TV AND MULTIMEDIA COMMUNICATION, 2019, 1009 : 227 - 237
  • [42] Mining invisible tasks from event logs
    Wen, Lijie
    Wang, Jianmin
    Sun, Jiaguang
    ADVANCES IN DATA AND WEB MANAGEMENT, PROCEEDINGS, 2007, 4505 : 358 - +
  • [43] Checking Delay Co-observability of Discrete Event Systems with Two Local Supervisors
    Xu, Pan
    Shu, Shaolong
    Lin, Feng
    2018 57TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), 2018, : 1063 - 1068
  • [44] Towards a better assessment of event logs quality
    Kherbouche, Mohammed Oussama
    Laga, Nassim
    Masse, Pierre-Aymeric
    PROCEEDINGS OF 2016 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (SSCI), 2016,
  • [45] Discovering User Communities in Large Event Logs
    Ferreira, Diogo R.
    Alves, Claudia
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I, 2012, 99 : 123 - 134
  • [46] Anomaly Detection on Event Logs with a Scarcity of Labels
    Barbon Junior, Sylvio
    Ceravolo, Paolo
    Damiani, Ernesto
    Omori, Nicolas Jashchenko
    Tavares, Gabriel Marques
    2020 2ND INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2020), 2020, : 161 - 168
  • [47] Deducing Case IDs for Unlabeled Event Logs
    Bayomie, Dina
    Helal, Iman M. A.
    Awad, Ahmed
    Ezat, Ehab
    ElBastawissi, Ali
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, (BPM 2015), 2016, 256 : 242 - 254
  • [48] Discovering and Tracking Organizational Structures in Event Logs
    Appice, Annalisa
    Di Pietro, Marco
    Greco, Claudio
    Malerba, Donato
    NEW FRONTIERS IN MINING COMPLEX PATTERNS, 2016, 9607 : 46 - 60
  • [49] Clustering Event Logs Using Iterative Partitioning
    Makanju, Adetokunbo
    Zincir-Heywood, A. Nur
    Milios, Evangelos E.
    KDD-09: 15TH ACM SIGKDD CONFERENCE ON KNOWLEDGE DISCOVERY AND DATA MINING, 2009, : 1255 - 1263
  • [50] Effa: A ProM Plugin for Recovering Event Logs
    Xia, Xiaoxu
    Song, Wei
    Chen, Fangfei
    Li, Xuansong
    Zhang, Pengcheng
    8TH ASIA-PACIFIC SYMPOSIUM ON INTERNETWARE (INTERNETWARE 2016), 2016, : 108 - 111
12345