Petri-Dish: A Petri Net Survey Tool for Education and Research. - Marc Kimmel; Patrizia Schalk; Robert Lorenz 001 (PETRI NETS, 2026)