Unfolding-Based Process Discovery

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

Researchers

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

  • Stefan Haar

Research units

Details

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