JXES: JSON Support for the XES Event Log Standard. - Madhavi Bangalore Shankara Narayana; Hossameldin Khalifa; Wil M. P. van der Aalst (CoRR, 2020)