SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems. - Baptiste Pelletier; Charles Lesire; David Doose; Karen Godary-Dejean; Charles Dramé-Maigné (FMAS/ASYDE@SEFM, 2022)