Examples of TransitionModel

aima.core.probability.hmm.TransitionModel
@author Ravi Mohan
edu.cmu.sphinx.linguist.acoustic.tiedstate.kaldi.TransitionModel
Represents transition model of a Kaldi acoustic model.
org.springframework.webflow.engine.model.TransitionModel
Model support for transitions.
A path from this state to another state triggered by an event. Transitions may execute one or more actions. All transition actions must execute successfully for the transition itself to complete. If no transition target is specified, the transition acts as a simple event handler and does not change the state of the flow. @author Scott Andrews
org.woped.core.model.petrinet.TransitionModel
@author Simon Landes29.03.2003

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


    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

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

            }
            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

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

            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

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

    {
      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

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

        // 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

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

        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

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

    }
  
  
  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

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

  /**
   * 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

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


  }


  // 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

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

          alltrans.putAll(getPetrinet().getElementContainer().getElementsByType(AbstractPetriNetElementModel.TRANS_SIMPLE_TYPE));
          alltrans.putAll(getPetrinet().getElementContainer().getElementsByType(AbstractPetriNetElementModel.TRANS_OPERATOR_TYPE));


          for (Iterator<AbstractPetriNetElementModel> transIter = alltrans.values().iterator(); transIter.hasNext() & !isUsed;)
          {
              TransitionModel transition = (TransitionModel)(transIter.next());
              if (transition.getToolSpecific() != null &&
                      transition.getToolSpecific().getTransResource() != null &&
                      transition.getToolSpecific().getTransResource().getTransOrgUnitName() != null &&
                      transition.getToolSpecific().getTransResource().getTransOrgUnitName().equals(GroupName))
              {
                  isUsed = true;
              }
           }

View Full Code Here

0 1 2 3

TOP

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.