@misc{indiciaee3a4f736df8d,
  title = {SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems},
  author = {Baptiste Pelletier and Charles Lesire and David Doose and Karen Godary-Dejean and Charles Dramé-Maigné},
  year = {2022},
  doi = {10.4204/eptcs.371.9},
  url = {https://arxiv.org/abs/2209.14039},
  note = {Source identifier: 2209.14039}
}