Package org.woped.core.model.petrinet

Examples of org.woped.core.model.petrinet.PlaceModel

48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
        LowLevelPetriNet lNet = new LowLevelPetriNet();
        Set<AbstractPetriNetElementModel> successors;
        Set<AbstractPetriNetElementModel> predecessors;
        TransitionModel tm;
        PlaceModel pm;

        // loop over all places
        while (iterPlace.hasNext()) {
            pm = (PlaceModel) iterPlace.next();
            lNet.getPlaceNode(new PlaceNode(pm.getTokenCount(), pm.getVirtualTokenCount(), pm.getId(), pm
                    .getNameValue(), makeOriginId(pm.getId())));
        }

        // loops over all transitions and set predecessors and successors
        while (iterTransition.hasNext()) {
          AbstractPetriNetElementModel trans = iterTransition.next();
View Full Code Here
188
189
190
191
192
193
194
195
196
197
198
199
200
        return true;
      }
    }
   
    if (cell instanceof PlaceModel) {
      PlaceModel place = (PlaceModel) cell;
      int num = mp.getElementContainer().
        getOutgoingArcs(place.getId()).size();

      return num > 1;
    }

    return false;
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
            {
                // Check basetype of Element
                if (map.getType() == AbstractPetriNetElementModel.PLACE_TYPE)
                {
                    // Creating a new ModelElement with
                    modElement = new PlaceModel(map);
                   
                    // Tokens
                    if (map.getTokens() > 0)
                      ((PlaceModel) modElement).setTokens(map.getTokens());
                   
View Full Code Here
736
737
738
739
740
741
742
743
744
745
746
747
        Iterator<String> incomingArcsIter = getPetriNet().getElementContainer().getIncomingArcs(transitionId).keySet()
                .iterator();
        while (incomingArcsIter.hasNext()) {
            ArcModel arc = getPetriNet().getElementContainer().getArcById(incomingArcsIter.next());
            if (active) {
                PlaceModel place = (PlaceModel) getPetriNet().getElementContainer().getElementById(arc.getSourceId());
                if (place.getVirtualTokenCount() > 0) {
                    arc.setActivated(true);
                    // TODO: check weight
                }
            } else {
                arc.setActivated(false);
View Full Code Here
774
775
776
777
778
779
780
781
782
783
784
785
786
    /*
     * Send (subtract) Tokens from the arc's source. ATTENTION: source must be a Place.
     */
    private void sendTokens(ArcModel arc) {
        try {
            PlaceModel place = (PlaceModel) getPetriNet().getElementContainer().getElementById(arc.getSourceId());
            if (place != null) {
                place.sendToken();
                // TODO: when ARC WEIGTH implemented send tokens weigth times
            }
        } catch (ClassCastException cce) {
            LoggerManager.warn(Constants.QUALANALYSIS_LOGGER,
                    "TokenGame: Cannot send token. Source is not a place. Ignore arc: " + arc.getId());
View Full Code Here
801
802
803
804
805
806
807
808
809
810
811
812
813
    /*
     * Receive (add) Tokens to the place that is the target of the arc. ATTENTION: Target must be a place.
     */
    private void receiveTokens(ArcModel arc) {
        try {
            PlaceModel place = (PlaceModel) getPetriNet().getElementContainer().getElementById(arc.getTargetId());
            if (place != null) {
                place.receiveToken();
                // TODO: when ARC WEIGTH implemented receive tokens weigth times
            }
        } catch (ClassCastException cce) {
            LoggerManager.warn(Constants.QUALANALYSIS_LOGGER,
                    "TokenGame: Cannot receive token. Target is not a place. Ignore arc: " + arc.getId());
View Full Code Here
829
830
831
832
833
834
835
836
837
838
839
840
841
    /*
     * Send (subtract) Tokens from the arc's target on Backward stepping. ATTENTION: target must be a Place.
     */
    private void sendBackwardTokens(ArcModel arc) {
        try {
            PlaceModel place = (PlaceModel) getPetriNet().getElementContainer().getElementById(arc.getTargetId());
            if (place != null) {
                place.sendToken();
                // TODO: when ARC WEIGTH implemented send tokens weigth times
            }
        } catch (ClassCastException cce) {
            LoggerManager.warn(Constants.QUALANALYSIS_LOGGER,
                    "TokenGame: Cannot send token. Source is not a place. Ignore arc: " + arc.getId());
View Full Code Here
856
857
858
859
860
861
862
863
864
865
866
867
868
    /*
     * Receive (add) Tokens to the place that is the source of the arc. ATTENTION: Target must be a place.
     */
    private void receiveBackwardTokens(ArcModel arc) {
        try {
            PlaceModel place = (PlaceModel) getPetriNet().getElementContainer().getElementById(arc.getSourceId());
            if (place != null) {
                place.receiveToken();
                // TODO: when ARC WEIGTH implemented receive tokens weigth times
            }
        } catch (ClassCastException cce) {
            LoggerManager.warn(Constants.QUALANALYSIS_LOGGER,
                    "TokenGame: Cannot receive token. Target is not a place. Ignore arc: " + arc.getId());
View Full Code Here
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
     * 
     */
        public void mouseReleased(MouseEvent e) {
            Vector<Object> allCells = getGraph().getAllCellsForLocation(e.getPoint().x, e.getPoint().y);
            TransitionModel transition = findTransitionInCell(allCells);
            PlaceModel place = findPlaceInCell(allCells);
            ArcModel arc = findArcInCell(allCells);
            if (transition != null && transition.isActivated()) {
                transitionClicked(transition, e);
            } else
                if (arc != null && arc.isActivated()) {
                    arcClicked(arc);
                } else
                    if (place != null && place.isActivated()) {
                        // If an active place has been clicked there is only one reasonable explanation for this:
                        // It is a sink place of a sub-process
                        RemoteControl = ParentControl.getRemoteControlReference();
                        // De-register the sub-process
                        RemoteControl.changeTokenGameReference(null, true);
View Full Code Here
153
154
155
156
157
158
159
160
161
162
163
        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()));
            } catch (Exception ex) {
            }
        }
    }
View Full Code Here
TOP

Related Classes of org.woped.core.model.petrinet.PlaceModel

  • org.jgraph.graph.AttributeMap
  • org.woped.core.model.ArcModel
  • org.woped.core.model.CreationMap
  • org.woped.core.model.ModelElementFactory
  • org.woped.core.model.PetriNetModelProcessor
  • org.woped.qualanalysis.reachabilitygraph.controller.ReachabilityCellListener
  • org.woped.qualanalysis.simulation.TokenGameController
  • org.woped.qualanalysis.simulation.TokenGameController$MouseHandler
  • org.woped.qualanalysis.soundness.builder.lowlevelpetrinet.AbstractLowLevelPetriNetBuilderUsingSA
    • 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.