Verification of Logs - Revealing Faulty Processes of a Medical Laboratory. - Robin Bergenthum; Joachim Schick (Trans. Petri Nets Other Model. Concurr., 2015)