Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten. - Robin Bergenthum; Jakub Kovár; Nico Lueg (Modellierung (Workshops), 2024)