A Web Interface for Petri Nets with Transits and Petri Games. - Manuel Gieseking; Jesko Hecking-Harbusch; Ann Yanich (TACAS (2), 2021)