Package org.woped.qualanalysis.soundness.marking

Examples of org.woped.qualanalysis.soundness.marking.IMarkingNet

69
70
71
72
73
74
75
76
77
78
79
        }
    }

    public LowLevelNetTest() {
        LowLevelPetriNet lolNet;
        IMarkingNet markingNet;

        lolNet = createNewLowLevelPetriNet();

        markingNet = new MarkingNet(lolNet);
View Full Code Here
19
20
21
22
23
24
25
26
27
28
29
30
        testTarjan();
    }

    private void test() {
        long time;
        IMarkingNet mNetWithoutTStar;
        IMarkingNet mNetWithTStar;
        System.out.println();

        time = System.currentTimeMillis();
        mNetWithoutTStar = BuilderFactory.createMarkingNet(BuilderFactory.createLowLevelPetriNetWithoutTStarBuilder(
                editor).getLowLevelPetriNet());
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
        System.out.println();
    }

    private void testTarjan() {
        long time;
        IMarkingNet mNet;
        mNet = BuilderFactory.createMarkingNet(BuilderFactory.createLowLevelPetriNetWithTStarBuilder(editor)
                .getLowLevelPetriNet());
        IStronglyConnectedComponentTestGen<Marking> t = AlgorithmFactory.createSccTest(mNet);

        System.out.println("strongly connected components: ");
View Full Code Here
246
247
248
249
250
251
252
253
254
255
256
257
 
  @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;
      for(String id:markingMap.keySet())
View Full Code Here
306
307
308
309
310
311
312
313
314
  }
 
  @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.soundness.marking.IMarkingNet

  • org.woped.metrics.metricsCalculation.MetricsCalculator
  • org.woped.qualanalysis.soundness.testing.JGraphModel2LowLevelPetriNet
  • org.woped.qualanalysis.soundness.testing.LowLevelNetTest
    • 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.