Attack Synchronizing Sequence Computation for Output Synchronized Petri Nets with Multiple Deadlocks. - Khalid Hamada; Rabah Ammour; Leonardo Brenner; Isabel Demongodin (ICNSC, 2023)