After little bit more investigation, the problem seems to be related to the fact that in the GUI some of the components
are disabled, after removing them it seems that it is working well, so the problem is probably related to the fact
that the disabled components have some tokens in the initial marking.
After little bit more investigation, the problem seems to be related to the fact that in the GUI some of the components
are disabled, after removing them it seems that it is working well, so the problem is probably related to the fact
that the disabled components have some tokens in the initial marking.