Debugger pre akcie procesne orientovaného jazyka Petriflow - Kozák, Maroš (2020)