private Set<AbstractPetriNetElementModel> nonLiveTransitions = null;
public AbstractQualanalysisService(IEditor editor) {
this.editor = editor;
sA = new StructuralAnalysis(editor);
workflowCheck = new WorkflowCheckImplement(editor);
netStatistics = sA;
wellStructuredness = sA;
}