Open the attached CPN net. Add a new place of color type "lift" and add a new token 1'(1, closed, up). Then try to save/load and it fails (in the debug menu).
Open the attached CPN net. Add a new place of color type "lift" and add a new token 1'(1, closed, up). Then try to save/load and it fails (in the debug menu).