Package org.woped.core.model.petrinet

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

554
555
556
557
558
559
560
561
562
563
564
     * Pre-select sub process as the next transition to occur, but only
     * if there is only one sub process, so the selection is deterministic
     */
  public void setSubProcessTransition() {
    int activatedSubProcessCount = 0;
    TransitionModel subProcess = null;
    for (TransitionModel t : followingActivatedTransitions) {
      if (t instanceof SubProcessModel) {
        ++activatedSubProcessCount;
        subProcess = t;
      }
View Full Code Here
141
142
143
144
145
146
147
148
149
    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);
        }
    }
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
            }
            CreationMap map = new CreationMap();
            map.setId(T_STAR);
            map.setName(T_STAR);
            map.setType(AbstractPetriNetElementModel.TRANS_SIMPLE_TYPE);
            tStar = new TransitionModel(map);
            GraphConstants.setBorderColor(tStar.getAttributes(), T_STAR_COLOR);
            GraphConstants.setForeground(tStar.getNameModel().getAttributes(), T_STAR_COLOR);
            tStar.addPort();
            tStar.addPort();
View Full Code Here
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
            if (toDelete[i] instanceof ArcModel) {
                allPorts.add(toDelete[i]);
                editor.getModelProcessor().removeArc(((ArcModel) toDelete[i]).getId());
            } else
                if (toDelete[i] instanceof TriggerModel) {
                    TransitionModel owner = (TransitionModel) editor.getModelProcessor().getElementContainer()
                            .getElementById(((TriggerModel) toDelete[i]).getOwnerId());
                    if (owner != null) {
                        if (owner.getToolSpecific().getTrigger().getTriggertype() == TriggerModel.TRIGGER_RESOURCE
                                && owner.getToolSpecific().getTransResource() != null) {
                            owner.getToolSpecific().removeTransResource();
                        }
                        owner.getToolSpecific().removeTrigger();
                    }
                    allPorts.add(toDelete[i]);
                } else
                    if (toDelete[i] instanceof TransitionResourceModel) {
                        TransitionModel owner = (TransitionModel) editor.getModelProcessor().getElementContainer()
                                .getElementById(((TransitionResourceModel) toDelete[i]).getOwnerId());
                        if (owner != null) {
                            owner.getToolSpecific().removeTransResource();
                        }
                        allPorts.add(toDelete[i]);
                    } else
                        if (toDelete[i] instanceof NameModel) {
                            allPorts.add(toDelete[i]);
View Full Code Here
420
421
422
423
424
425
426
427
428
429
430
431
    {
      cell = ((GroupModel) cell).getMainElement();
    }
    if (cell instanceof TransitionModel)
    {
      TransitionModel trans = (TransitionModel) cell;
      if (trans.hasResource())
      {
        editor.deleteCell(trans.getToolSpecific().getTransResource(), true);
      }
    }
  }
View Full Code Here
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
        // rotate names
        element.getNameModel().setPosition(element.getNameModel().getY(), element.getNameModel().getX());

        // rotate triggers and resources
        if (element instanceof TransitionModel) {
          TransitionModel tm = (TransitionModel) element;

          if (!rotateSelected) {
            rotateTransitionIcon(tm, TURN_RIGHT);
            triggerXOffset = -5;
            triggerYOffset = 0;
            resourceXOffset = -20;
            resourceYOffset = -25;
          } else {
            rotateTransitionIcon(tm, TURN_LEFT);
            triggerXOffset = 0;
            triggerYOffset = 5;
            resourceXOffset = 25;
            resourceYOffset = 20;
          }
          if (tm.hasTrigger()) {
            newX = tm.getToolSpecific().getTrigger().getY() + triggerXOffset;
            newY = tm.getToolSpecific().getTrigger().getX() + triggerYOffset;
            tm.getToolSpecific().getTrigger().setPosition(newX, newY);
            if (newX < negX)
              negX = newX;
            if (newY < negY)
              negY = newY;
          }
          if (tm.hasResource()) {
            newX = tm.getToolSpecific().getTransResource().getY() + resourceXOffset;
            newY = tm.getToolSpecific().getTransResource().getX() + resourceYOffset;
            tm.getToolSpecific().getTransResource().setPosition(newX, newY);
            if (newX < negX)
              negX = newX;
            if (newY < negY)
              negY = newY;
          }
View Full Code Here
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
        element.getNameModel().setPosition(element.getNameModel().getX() + moveX,
            element.getNameModel().getY() + moveY);

        // move triggers and resources (if existing)
        if (element instanceof TransitionModel) {
          TransitionModel tm = (TransitionModel) element;

          if (tm.hasTrigger()) {
            TriggerModel trigMod = tm.getToolSpecific().getTrigger();
            trigMod.setPosition(trigMod.getX() + moveX, trigMod.getY() + moveY);
          }
          if (tm.hasResource()) {
            TransitionResourceModel transRes = tm.getToolSpecific().getTransResource();
            transRes.setPosition(transRes.getX() + moveX, transRes.getY() + moveY);
          }
        }
      }
    }
View Full Code Here
220
221
222
223
224
225
226
227
228
229
230
231
232
    }
 
 
  private TransitionType initTransition(TransitionType iTransition, TransitionModel currentModel, OperatorTransitionModel operatorModel)
    {
        TransitionModel takenModel = operatorModel == null ? currentModel : operatorModel;
        // name
        initNodeName(iTransition.addNewName(), takenModel.getNameModel());
        // attr. id
        iTransition.setId(currentModel.getId());

        return iTransition;
    }
View Full Code Here
328
329
330
331
332
333
334
335
336
337
338
339
340
  /**
   * Creates a new Trigger and adds it to the Transtition
   *
   */
  public TriggerModel newTrigger(CreationMap map) {
    TransitionModel transition = (TransitionModel) getElementContainer()
        .getElementById(map.getId());
    if (transition.getToolSpecific() == null) {
      transition.setToolSpecific(new Toolspecific(transition.getId()));
    }
    return transition.getToolSpecific().setTrigger(map);

  }
View Full Code Here
339
340
341
342
343
344
345
346
347
348
349
350
  }

  // TODO: DOCUMentation
  public TransitionResourceModel newTransResource(CreationMap map) {
    TransitionModel transition = (TransitionModel) getElementContainer()
        .getElementById(map.getId());
    if (transition.getToolSpecific() == null) {
      transition.setToolSpecific(new Toolspecific(transition.getId()));
    }
    return transition.getToolSpecific().setTransResource(map);
  }
View Full Code Here
TOP

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

  • 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.editor.controller.PetriNetResourceEditor
  • org.woped.editor.controller.vc.EditorVC
  • org.woped.editor.controller.vc.SubprocessEditorVC
  • org.woped.editor.controller.vep.EditorEventProcessor
  • org.woped.editor.graphbeautifier.SGYGraph
    • 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.