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]

Authors

Khalid Hamada

This author has not been identified. Look up 'Khalid Hamada' in Google

Rabah Ammour

This author has not been identified. Look up 'Rabah Ammour' in Google

Leonardo Brenner

This author has not been identified. Look up 'Leonardo Brenner' in Google

Isabel Demongodin

This author has not been identified. Look up 'Isabel Demongodin' in Google