@inproceedings{baarir2012modeling,
  author    = {Souheib Baarir and Fabrice Kordon},
  title     = {Modeling and Verifying Distributed Systems with Petri Nets},
  booktitle = {2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE 2012)},
  address   = {Constantine, Algeria},
  pages     = {92--92},
  month     = nov,
  publisher = {IEEE Press},
  year      = {2012},
  note      = {Tutorial},
  doi       = {10.1109/IWAISE.2012.24}
}

@inproceedings{arias2021adt2amas,
  author    = {Jaime Arias and
               Wojciech Penczek and
               Laure Petrucci and
               Teofil Sidoruk},
  editor    = {Frank Dignum and
               Alessio Lomuscio and
               Ulle Endriss and
               Ann Now{\'{e}}},
  title     = {{ADT2AMAS:} Managing Agents in Attack-Defence Scenarios},
  booktitle = {20th International Conference on Autonomous Agents and Multiagent
               Systems ({AAMAS} 2021), Virtual Event, United Kingdom, May 3-7, 2021},
  pages     = {1749--1751},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1749.pdf},
  doi       = {10.5555/3463952.3464225}
}

@inproceedings{klai2023tap,
  author    = {Kais Klai and
               Mohamed Taha Bennani and
               Jaime Arias and
               J{\"{o}}rg Desel and
               Hanen Ochi},
  editor    = {Virgile Prevosto and
               Cristina Seceleanu},
  title     = {Symbolic Observation Graph-Based Generation of Test Paths},
  booktitle = {17th International Conference on Tests and Proofs, {TAP} 2023,
               Leicester, UK, July 18-19, 2023},
  series    = {Lecture Notes in Computer Science},
  volume    = {14066},
  pages     = {127--146},
  publisher = {Springer},
  year      = {2023},
  url       = {https://doi.org/10.1007/978-3-031-38828-6\_8},
  doi       = {10.1007/978-3-031-38828-6\_8}
}