Tian Li, Sander J. J. Leemans, Artem Polyvyanyy: The Jensen-Shannon Distance for Stochastic Conformance Checking. ICPM Workshops 2024: 70-83