Add array of places to the Petri net structure, so that we have the
mapping from marking components to place names.

XXX Fill this array in the petrinet_read functions and write it in
XXX the petrinet_write function.