Details
| Original language | English |
|---|---|
| Title of host publication | Simulation Tools and Techniques - 16th EAI International Conference, SIMUtools 2024, Proceedings |
| Editors | Angel A. Juan, José-Luis Guisado-Lizar, María-José Morón-Fernández, Elena Perez-Bernabeu |
| Publisher | Springer Science and Business Media Deutschland GmbH |
| Pages | 186-201 |
| Number of pages | 16 |
| ISBN (electronic) | 978-3-031-87345-4 |
| ISBN (print) | 9783031873447 |
| Publication status | Published - 29 Apr 2025 |
| Event | 16th EAI International Conference on Simulation Tools and Techniques, SIMUTools 2024 - Bratislava, Slovakia Duration: 9 Dec 2024 → 10 Dec 2024 |
Publication series
| Name | Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST |
|---|---|
| Volume | 603 LNICST |
| ISSN (Print) | 1867-8211 |
| ISSN (electronic) | 1867-822X |
Abstract
This paper tackles the computational hurdles in region-based Petri net (PN) synthesis, focusing on the time-consuming identification of minimal regions essential for accurate model construction. Given the limitations of existing algorithms in handling complex systems, we introduce an improved algorithm that integrates advanced multiset expansion techniques to enhance the generation of minimal regions significantly. This approach accelerates the computation process while maintaining the accuracy and robustness necessary for effective PN construction [5]. We contextualize our contributions by reviewing recent advancements in region-based discovery algorithms, highlighting our algorithm’s improved capability to construct k-bounded PN with complex behaviors such as concurrency prevalent in process mining. Comparative analysis and empirical validation show that our algorithm outperforms existing methods in speed and scalability without sacrificing detail in process dynamics representation. This research contributes to both the theoretical framework of PN synthesis and the practical aspects of process mining tool design.
Keywords
- Petri nets, Process mining, Theory of region
ASJC Scopus subject areas
- Computer Science(all)
- Computer Networks and Communications
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Simulation Tools and Techniques - 16th EAI International Conference, SIMUtools 2024, Proceedings. ed. / Angel A. Juan; José-Luis Guisado-Lizar; María-José Morón-Fernández; Elena Perez-Bernabeu. Springer Science and Business Media Deutschland GmbH, 2025. p. 186-201 (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; Vol. 603 LNICST).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Improvements to the Region-Based Petri Nets Synthesis Algorithm for Process Mining
AU - Peng, Shengrui
AU - Szczerbicka, Helena
N1 - Publisher Copyright: © ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2025.
PY - 2025/4/29
Y1 - 2025/4/29
N2 - This paper tackles the computational hurdles in region-based Petri net (PN) synthesis, focusing on the time-consuming identification of minimal regions essential for accurate model construction. Given the limitations of existing algorithms in handling complex systems, we introduce an improved algorithm that integrates advanced multiset expansion techniques to enhance the generation of minimal regions significantly. This approach accelerates the computation process while maintaining the accuracy and robustness necessary for effective PN construction [5]. We contextualize our contributions by reviewing recent advancements in region-based discovery algorithms, highlighting our algorithm’s improved capability to construct k-bounded PN with complex behaviors such as concurrency prevalent in process mining. Comparative analysis and empirical validation show that our algorithm outperforms existing methods in speed and scalability without sacrificing detail in process dynamics representation. This research contributes to both the theoretical framework of PN synthesis and the practical aspects of process mining tool design.
AB - This paper tackles the computational hurdles in region-based Petri net (PN) synthesis, focusing on the time-consuming identification of minimal regions essential for accurate model construction. Given the limitations of existing algorithms in handling complex systems, we introduce an improved algorithm that integrates advanced multiset expansion techniques to enhance the generation of minimal regions significantly. This approach accelerates the computation process while maintaining the accuracy and robustness necessary for effective PN construction [5]. We contextualize our contributions by reviewing recent advancements in region-based discovery algorithms, highlighting our algorithm’s improved capability to construct k-bounded PN with complex behaviors such as concurrency prevalent in process mining. Comparative analysis and empirical validation show that our algorithm outperforms existing methods in speed and scalability without sacrificing detail in process dynamics representation. This research contributes to both the theoretical framework of PN synthesis and the practical aspects of process mining tool design.
KW - Petri nets
KW - Process mining
KW - Theory of region
UR - http://www.scopus.com/inward/record.url?scp=105004252219&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-87345-4_13
DO - 10.1007/978-3-031-87345-4_13
M3 - Conference contribution
AN - SCOPUS:105004252219
SN - 9783031873447
T3 - Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
SP - 186
EP - 201
BT - Simulation Tools and Techniques - 16th EAI International Conference, SIMUtools 2024, Proceedings
A2 - Juan, Angel A.
A2 - Guisado-Lizar, José-Luis
A2 - Morón-Fernández, María-José
A2 - Perez-Bernabeu, Elena
PB - Springer Science and Business Media Deutschland GmbH
T2 - 16th EAI International Conference on Simulation Tools and Techniques, SIMUTools 2024
Y2 - 9 December 2024 through 10 December 2024
ER -