Package org.woped.qualanalysis.soundness.marking

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

45
46
47
48
49
50
51
52
53
54
55
    graph.getGraphLayoutCache().insert(cellsList.toArray());
    return graph;
  }

  private void getChildNode(Arc arc, Marking parentMarking) {
    Marking marking = arc.getTarget();
    ReachabilityEdgeModel edge = getEdge(arc, parentMarking);

    ReachabilityPlaceModel src = getPlace(parentMarking);
    cellsList.add(src);
View Full Code Here
21
22
23
24
25
26
27
          } else {
            tokens[i] = places[i].getTokenCount();
          }
            placeUnlimited[i] = false;
        }
        marking = new Marking(tokens, places, placeUnlimited);
  }
View Full Code Here
40
41
42
43
44
45
46
47
48
49
50
51
52
53
     */
    private void calculateSucceedingMarkings(Marking marking) {
        Set<Marking> markingsToCheck = new HashSet<Marking>();
        Set<Marking> markings = new HashSet<Marking>();
        TransitionNode[] transitions;
        Marking currentMarking;
        Marking newMarking;
        Marking compareMarking;
        Marking equalMarking = null;

        markingsToCheck.add(marking);

        while (!markingsToCheck.isEmpty()) {
            currentMarking = markingsToCheck.iterator().next();
View Full Code Here
61
62
63
64
65
66
67
68
69
70
71
72
73
//    Create markings
    Integer[][] tokens = { {1, 0, 0}, {0, 0, 1}, {0, 1, 0} };
    Boolean[] placeUnlimited = {false, false, false};
    Marking[] marking = new Marking[3];
   
    marking[0] = new Marking(tokens[0], places, placeUnlimited);
    marking[1] = new Marking(tokens[1], places, placeUnlimited);
    marking[2] = new Marking(tokens[2], places, placeUnlimited);
 
    marking[0].setInitial(false);
    marking[1].setInitial(false);
    marking[2].setInitial(true);
    marking[2].setPredecessor(marking[1]);
View Full Code Here
TOP

Related Classes of org.woped.qualanalysis.soundness.marking.Marking

  • org.woped.qualanalysis.reachabilitygraph.data.ReachabilityGraphModelUsingMarkingNet
  • org.woped.qualanalysis.soundness.builder.currentmarking.CurrentMarking
  • org.woped.qualanalysis.soundness.builder.markingnet.MarkingNetBuilderBook
  • org.woped.tests.qualanalysis.soundness.algorithms.testing.MNetMock
    • 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.