SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems