Text this: Petri Net Robotic Task Plan Representation: Modelling, Analysis and Execution