Lucie Guillou, Arnaud Sangnier et Nathalie Sznajder ont remporté le prix du meilleur article lors de la conférence Petri Nets 2024 pour leur article “Safety Verification of Wait-Only Non-Blocking Broadcast Protocols”. Félicitations !