Loading...
Loading...

Go to the content (press return)

Unfolding-based process discovery

Author
Ponce de León, H.; Rodríguez , C.; Carmona, J.; Heljanko, K.; Haar, S.
Type of activity
Presentation of work at congresses
Name of edition
13th International Symposium on Automated Technology for Verification and Analysis
Date of publication
2015
Presentation's date
2015-10-12
Book of congress proceedings
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015: proceedings
First page
31
Last page
47
Publisher
Springer
DOI
https://doi.org/10.1007/978-3-319-24953-7_4 Open in new window
Repository
http://hdl.handle.net/2117/84020 Open in new window
URL
http://link.springer.com/chapter/10.1007/978-3-319-24953-7_4 Open in new window
Abstract
This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two additional inputs: an independence relation on the set of logged activities, and a collection of negative traces. After deriving an intermediate net unfolding from them, we perform a controlled folding giving rise to a Petri net which contains both the input log and all independence-equivalent traces arising from it. Remar...
Citation
Ponce de León, H., Rodríguez , C., Carmona, J., Heljanko, K., Haar, S. Unfolding-based process discovery. A: International Symposium Automated Technology for Verification and Analysis. "Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015: proceedings". Shangai: Springer, 2015, p. 31-47.
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

  • Ponce de León, Hernán  (author and speaker )
  • Rodríguez, César  (author and speaker )
  • Carmona Vargas, Jose  (author and speaker )
  • Heljanko, Keijo  (author and speaker )
  • Haar, Stefan  (author and speaker )

Attachments