Lucie Guillou, Arnaud Sangnier and Nathalie Sznajder won the Petri Nets 2024 best paper award for their article “Safety Verification of Wait-Only Non-Blocking Broadcast Protocols”. Congratulations !