PACO: A Petri Net-Based Tool for Designing, Simulating, and Analyzing Multi-objective Stochastic Processes. - Emanuele Chini; Daniel Amadori; Pietro Sala; Sidra Nasir; Matteo Baldi; Mattia Cappelletti (PETRI NETS, 2026)