Unfolding-Based Process Discovery

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

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

14 Citations (Scopus)
Original languageEnglish
Title of host publicationInternational Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015
EditorsGeguang Pu Bernd Finkbeiner
Pages31-47
DOIs
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Keywords

  • independence relation
  • petri nets
  • process discovery
  • unfolding

Cite this