places are numbered according to the order of appearance in the PNML
file; preparing to realise v-1.3.2