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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.