Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi: BPMN Environment AnimatoR. Zenodo 2025