Visualizing Token Flows Using Interactive Performance Spectra. - Wil M. P. van der Aalst; Daniel Tacke genannt Unterberg; Vadim Denisov; Dirk Fahland (Petri Nets, 2020)