Transformácia doménových modelov do procesných modelov v jazyku Petriflow - Tyrolová, Mária (STU v Bratislave FEI, 2024)