Unfolding-Based Process Discovery

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


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

Research units


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

    Research areas

  • independence relation, petri nets, process discovery, unfolding

ID: 1971287