See train-gate-model in the uppaal demos.
The selections train-ids in the edges all use the same variable name. However, references to these select-variables resolve to the first selection.
Solution: use the new parser made in the muml repository (will have to hook-up the smc meta-model though :( )
See train-gate-model in the uppaal demos.
The selections train-ids in the edges all use the same variable name. However, references to these select-variables resolve to the first selection.
Solution: use the new parser made in the muml repository (will have to hook-up the smc meta-model though :( )