Resilient Distributed P/T Net Simulators. - Laif-Oke Clasen; Patrick Leonhardt; Leven Wichelman (PNSE/ATAED/PeNGE@PETRI NETS, 2025)