Comment 0 for bug 2037066

Open the attached net. Try to save/load (in Debug menu for example "Verify save/load") and all is fine.
Now change the range of int to [1,5]. Try to save/load again and there is an error (caused by the mismatch of the color 3 on the arc as the product color range does not seem to be updated.

Another problem is that it is not possible to remove the token from the place P0. If you do so,
the GUI still shows a bullet in the place, even though there are no tokens.