Parameterised robotic system meta-model expressed by Hierarchical Petri nets