84858687888990
/** * * @return node containing information about arcs */ protected static DefaultMutableTreeNode getArcsInfo(IQualanalysisService qualanService) { return new NetInfo(Messages.getString(prefix + "NumArcs") + ": " + qualanService.getNumArcs()); }
135136137138139140141
/** * * @return node containing information about sComponents in the petri net */ protected static DefaultMutableTreeNode getSComponentInfo() { return new NetInfo(Messages.getString(prefix + "SComponentAnalysis")); }
230231232233234235236
/** * * @return node containing information about the wellStructuredness of the net */ protected static DefaultMutableTreeNode getWellStructurednessInfo() { return new NetInfo(Messages.getString(prefix + "WellStructurednessAnalysis")); }
284285286287288289290
/** * * @return node containing information about soundness */ protected static DefaultMutableTreeNode getSoundnessInfo() { return new NetInfo(Messages.getString(prefix + "SoundnessAnalysis")); }
292293294295296297298
/** * * @return node containing information about the workflow-property of the petri net */ protected static DefaultMutableTreeNode getWorkflowInfo(IQualanalysisService qualanService) { return new NetInfo(Messages.getString(prefix + "WorkflowAnalysis")); }
415416417418419420421
/** * * @return node containing information about the initial marking */ protected static DefaultMutableTreeNode getInitialMarkingInfo() { return new NetInfo(Messages.getString(prefix + "InitialMarkingAnalysis")); }
443444445446447448449
/** * * @return node containing information about boundedness of the petri net */ protected static DefaultMutableTreeNode getBoundednessInfo() { return new NetInfo(Messages.getString(prefix + "BoundednessAnalysis")); }
470471472473474475476
/** * * @return node containing information about liveness of the petri net */ protected static DefaultMutableTreeNode getLivenessInfo() { return new NetInfo(Messages.getString(prefix + "LivenessAnalysis")); }