Package org.woped.qualanalysis.reachabilitygraph.data

Examples of org.woped.qualanalysis.reachabilitygraph.data.ReachabilityGraphModelUsingMarkingNet

70
71
72
73
74
75
76
77
78
79
80
        this.editor.updateNet();
        init();
    }

    private void init() {
        this.builder = new ReachabilityGraphModelUsingMarkingNet(editor);
        LoggerManager.debug(Constants.QUALANALYSIS_LOGGER, "-> init() " + this.getClass().getName());
        this.setLayout(new BorderLayout());
        toolbar = new ReachabilityToolbarVC(this);
        // NORTH Components
        this.add(BorderLayout.NORTH, toolbar);
View Full Code Here
245
246
247
248
249
250
251
252
253
254
255
256
  }
 
  @SuppressWarnings("unused")
  private double calculateTM(){
    double max = 0;
    ReachabilityGraphModelUsingMarkingNet reach = new ReachabilityGraphModelUsingMarkingNet(editor);
    IMarkingNet net = reach.getMarkingNet();
    Set<Marking> markings = net.getMarkings();
    for(Marking mark:markings){
      Map<String, Integer> markingMap = mark.getMarking();
      for(boolean infinite: mark.getPlaceUnlimited())
        if(infinite) return Double.POSITIVE_INFINITY;
View Full Code Here
305
306
307
308
309
310
311
312
313
314
    return seqn;
  }
 
  @SuppressWarnings("unused")
  private double calculateCM(){
    ReachabilityGraphModelUsingMarkingNet reach = new ReachabilityGraphModelUsingMarkingNet(editor);
    IMarkingNet net = reach.getMarkingNet();
    ReachabilityJGraph graph = reach.getGraph();
    return AbstractReachabilityGraphModel.edgeCount(graph)-AbstractReachabilityGraphModel.verticeCount(graph)+calculateStrongReaches(net);
  }
View Full Code Here
TOP

Related Classes of org.woped.qualanalysis.reachabilitygraph.data.ReachabilityGraphModelUsingMarkingNet

  • org.jgraph.graph.DefaultGraphCell
  • org.woped.metrics.metricsCalculation.MetricsCalculator
  • org.woped.qualanalysis.reachabilitygraph.gui.ReachabilityGraphPanel
  • org.woped.qualanalysis.soundness.marking.Marking
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.