Issues when using manual edit with color types - fix 2081345

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

https://www.tapaal.net

3 stars 11 forks source link

Issues when using manual edit with color types - fix 2081345 #179

Closed mtygesen closed 4 days ago

mtygesen commented 3 weeks ago

Fixes: https://bugs.launchpad.net/tapaal/+bug/2081345

srba commented 1 week ago

Another problem, open token ring and manually edit the colortype Couple by adding one more Process component. This is possible but creates an inconsistent net (try to press M) as the place now contains tokens in the initial marking that are of wrong type (contain only pairs and not tripples). In this case the editing of Couple should not be allowed.