"Translating Workflow Nets to Process Trees: An Algorithmic Approach."

Sebastiaan J. van Zelst, Sander J. J. Leemans (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics