#146 Subprocess token game oddity

[Thomas Freytag]

1. Open WoPeD.
2. Open proces ‘Subprocesses.pnml’ via tab Options & Help > Sample nets.
3. Start Tokengame.
4. Complete t1. t2 and sub1 will be activated.
5. Step into sub1. A new window with the Subprocess sub1 will be opened.
6. Move this new window away so you can see the mainproces.

Now notice that the token is moved to place pe in the mainprocess and that the token isn’t moved to place pe in the subprocess. Which is inconsistent. The token should (in my view) be at the same place in the same time.

If you complete t2 in the mainprocess, then t3 will be activeted too early. I have noticed that WoPeD doesn’t allow you to complete t3 until the subprocess sub1 is closed. But that isn’t the way it should work, because due the activation of t3 is will generate tasks for users or automatic tasks before the subprocess is completed.