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]

@inproceedings{HamadaABD23,
  title = {Attack Synchronizing Sequence Computation for Output Synchronized Petri Nets with Multiple Deadlocks},
  author = {Khalid Hamada and Rabah Ammour and Leonardo Brenner and Isabel Demongodin},
  year = {2023},
  doi = {10.1109/ICNSC58704.2023.10318990},
  url = {https://doi.org/10.1109/ICNSC58704.2023.10318990},
  researchr = {https://researchr.org/publication/HamadaABD23},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {IEEE International Conference on Networking, Sensing and Control, ICNSC 2023, Marseille, France, October 25-27, 2023},
  publisher = {IEEE},
  isbn = {979-8-3503-6950-2},
}