Process Mining animations using BPM|one