Timed CPN invariants errors

[Jiri Srba]

Open the attached net and unfold (go to simulation mode).

The unfolding is wrong. There are three colors, 1 2 and 3 and each of them should
have a different place invariant (<=2, <=3 and the last color should get the default <=4).
However, the GUI does not seem to send this information to the engine, so the engine unfolds
all places with the default invariant <=4 only, which is wrong.

[Jiri Srba (srba)]

Example how color specific place invariants should be communicated to the engine:

https://github.com/TAPAAL/unfoldTACPN/blob/main/test/cpn_format/color_inv_map.xml