The rule contradicts a previously set result. The result "Dst=9" and "Dst=13" contradicts each other. The rule "Analyzer" will not be applied. The results are not applied.
First I analyzed a Petrinet with the stubborn reduction and after that I let charlie calculate the whole Reachability Graph and get this error.
you told me the #Dst shuld be the same