data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Summary:
#Dst's in stubborn reduction doesn't match with #Dst's in RG
Created:
2011-12-14 17:40
Status:
Open
Category:
Bug
From:
patrick steinborn?
Assigned:
Priority:
3
Program: Charlie
Version:
version: v2.0.171.217 built: 2011-11-04
Description:
Error: Contradiction in the Rule Set!
Error: Contradiction in the Rule Set!
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