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 条

[21] Discovery of Frequent Episodes in Event Logs
Leemans, Maikel
van der Aalst, Wil M. P.
DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS, SIMPDA 2014, 2015, 237 : 1 - 31
[22] Guidelines for recording transport event logs
Dramski, Mariusz
SCIENTIFIC JOURNALS OF THE MARITIME UNIVERSITY OF SZCZECIN-ZESZYTY NAUKOWE AKADEMII MORSKIEJ W SZCZECINIE, 2018, 53 (125): : 102 - 105
[23] Detecting Context Activities in Event Logs
Lu, Yang
Chen, Qifan
Poon, Simon K.
ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2022, 450 : 108 - 122
[24] DyLoPro: Profiling the Dynamics of Event Logs
Wuyts, Brecht
Weytjens, Hans
vanden Broucke, Seppe
De Weerdt, Jochen
BUSINESS PROCESS MANAGEMENT, BPM 2023, 2023, 14159 : 146 - 162
[25] Repairing Outlier Behaviour in Event Logs
Sani, Mohammadreza Fani
van Zelst, Sebastiaan J.
van der Aalst, Wil M. P.
BUSINESS INFORMATION SYSTEMS (BIS 2018), 2018, 320 : 115 - 131
[26] Self-Healing Event Logs
Song, Wei
Jacobsen, Hans-Arno
Zhang, Pengcheng
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2021, 33 (06) : 2750 - 2763
[27] Improving Documentation by Repairing Event Logs
Rogge-Solti, Andreas
Mans, Ronny S.
van der Aalst, Wil M. P.
Weske, Mathias
PRACTICE OF ENTERPRISE MODELING, POEM 2013, 2013, 165 : 129 - 144
[28] Multidimensional subgroup discovery on event logs
Ribeiro, J.
Fontes, T.
Soares, C.
Borges, J. L.
EXPERT SYSTEMS WITH APPLICATIONS, 2024, 246
[29] Analysis of Event Logs: Behavioral Graphs
Slaninova, Katerina
Vymetal, Dominik
Martinovic, Jan
WEB INFORMATION SYSTEMS ENGINEERING - WISE 2014 WORKSHOPS, 2015, 9051 : 42 - 56
[30] Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
De Giacomo, Giuseppe
Di Stasio, Antonio
Vardi, Moshe Y.
Zhu, Shufang
KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 304 - 314

← 1 2 3 4 5 →