Unfolding-Based Process Discovery

Hernán Ponce de León; César Rodríguez; Josep Carmona; Keijo Heljanko; Stefan Haar

doi:10.1007/978-3-319-24953-7_4

Unfolding-Based Process Discovery

Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

14 Citations (Scopus)

Original language	English
Title of host publication	International Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015
Editors	Geguang Pu Bernd Finkbeiner
Pages	31-47
DOIs	https://doi.org/10.1007/978-3-319-24953-7_4
Publication status	Published - 2015
MoE publication type	A4 Article in a conference publication

Keywords

independence relation
petri nets
process discovery
unfolding

Access to Document

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

Cite this

@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",

}

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 proceeding › Conference contribution › Scientific › peer-review

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 -