Unfolding-Based Process Discovery
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Researchers
Research units
Details
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 |
Publication status | Published - 2015 |
MoE publication type | A4 Article in a conference publication |
- independence relation, petri nets, process discovery, unfolding
Research areas
ID: 1971287