Java Marking.isFinalMarking Examples

Example #1

File: MarkingTest.java Project: mduduzik/flowframe

 @Test
 public void isFinalMarking() {
   IEPC epc = openEpcFromFile("simpleEPC.rdf");
   EPCReachabilityGraph rg = new EPCReachabilityGraph(epc);
   rg.calculate();
   for (Marking root : rg.getRoots()) {
     assertFalse(root.isFinalMarking(epc));
   }
   for (Marking leaf : rg.getLeaves()) {
     assertTrue(leaf.isFinalMarking(epc));
   }
 }