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

            graph.getGraphLayoutCache().reload();
        }
    }


    private void highlightTransitions(ReachabilityPlaceModel place) {
        IMarking ma = (IMarking) place.getUserObject();
        Iterator<String> netIt = ma.getActivatedTransitions().iterator();
        while (netIt.hasNext()) {
            TransitionModel trans = (TransitionModel) getPetriNet().getElementContainer().getElementById(netIt.next());
            trans.setRGHighlighted(true);
        }
    }

        }
    }


    private void setTokens(ReachabilityPlaceModel place) {


        IMarking marking = (IMarking) place.getUserObject();
        SortedMap<String, Integer> map = marking.getMarking();
        for (Iterator<AbstractPetriNetElementModel> placeIter = getPetriNet().getElementContainer().getElementsByType(
                AbstractPetriNetElementModel.PLACE_TYPE).values().iterator(); placeIter.hasNext();) {
            try {
                PlaceModel curplace = (PlaceModel) placeIter.next();
                curplace.setVirtualTokens(map.get(curplace.getId()));

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

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.