To open the Rule-Dialog, select the analysis-view within the toolbar. The panel on the right side will change and show options to create, store and analyse the model. When the user created a set of rules, these will show up on this panel. After clicking the “run” Button, the individual rules will be checked and results will show up next to each rule. A red cross symbolizes the rule was not met, while a green mark shows that the rule is fulfilled. A number between 0 and 1 shows results in between. Its meaning depends on the type of model. For logfiles the number is the fraction of violating and correct traces. For petri nets it shows the probability that the rule will not be violated.