Unfolding-Based Process Discovery

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Standard

Unfolding-Based Process Discovery. / Ponce de León, Hernán; Rodríguez, César; Carmona, Josep; Heljanko, Keijo; Haar, Stefan.

International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015. ed. / Geguang Pu Bernd Finkbeiner. 2015. p. 31-47.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Harvard

Ponce de León, H, Rodríguez, C, Carmona, J, Heljanko, K & Haar, S 2015, Unfolding-Based Process Discovery. in GP Bernd Finkbeiner (ed.), International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015. pp. 31-47. https://doi.org/10.1007/978-3-319-24953-7_4

APA

Ponce de León, H., Rodríguez, C., Carmona, J., Heljanko, K., & Haar, S. (2015). Unfolding-Based Process Discovery. In G. P. Bernd Finkbeiner (Ed.), International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015 (pp. 31-47) https://doi.org/10.1007/978-3-319-24953-7_4

Vancouver

Ponce de León H, Rodríguez C, Carmona J, Heljanko K, Haar S. Unfolding-Based Process Discovery. In Bernd Finkbeiner GP, editor, International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015. 2015. p. 31-47 https://doi.org/10.1007/978-3-319-24953-7_4

Author

Ponce de León, Hernán ; Rodríguez, César ; Carmona, Josep ; Heljanko, Keijo ; Haar, Stefan. / Unfolding-Based Process Discovery. International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015. editor / Geguang Pu Bernd Finkbeiner. 2015. pp. 31-47

Bibtex - Download

@inproceedings{d70ca251bb41429caf9bdbf4e9bb1af8,
title = "Unfolding-Based Process Discovery",
keywords = "independence relation, petri nets, process discovery, unfolding, independence relation, petri nets, process discovery, unfolding, independence relation, petri nets, process discovery, unfolding",
author = "{Ponce de Le{\'o}n}, Hern{\'a}n and C{\'e}sar Rodr{\'i}guez and Josep Carmona and Keijo Heljanko and Stefan Haar",
note = "VK: Heljanko, K.",
year = "2015",
doi = "10.1007/978-3-319-24953-7_4",
language = "English",
isbn = "978-3-319-24952-0",
pages = "31--47",
editor = "{Bernd Finkbeiner}, {Geguang Pu}",
booktitle = "International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015",

}

RIS - Download

TY - GEN

T1 - Unfolding-Based Process Discovery

AU - Ponce de León, Hernán

AU - Rodríguez, César

AU - Carmona, Josep

AU - Heljanko, Keijo

AU - Haar, Stefan

N1 - VK: Heljanko, K.

PY - 2015

Y1 - 2015

KW - independence relation

KW - petri nets

KW - process discovery

KW - unfolding

KW - independence relation

KW - petri nets

KW - process discovery

KW - unfolding

KW - independence relation

KW - petri nets

KW - process discovery

KW - unfolding

U2 - 10.1007/978-3-319-24953-7_4

DO - 10.1007/978-3-319-24953-7_4

M3 - Conference contribution

SN - 978-3-319-24952-0

SP - 31

EP - 47

BT - International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015

A2 - Bernd Finkbeiner, Geguang Pu

ER -

ID: 1971287