Attack Synchronizing Sequence Computation for Output Synchronized Petri Nets with Multiple Deadlocks

Khalid Hamada, Rabah Ammour, Leonardo Brenner, Isabel Demongodin. Attack Synchronizing Sequence Computation for Output Synchronized Petri Nets with Multiple Deadlocks. In IEEE International Conference on Networking, Sensing and Control, ICNSC 2023, Marseille, France, October 25-27, 2023. pages 1-6, IEEE, 2023. [doi]

Abstract

Abstract is missing.