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
