コード例 #1
0
  @Override
  public void setElementColors(MouseEvent e, Map<Element, Color> elementColors) {
    Point clickedPoint = getClickedPoint(e);
    Element targetElement = getClickedElement(clickedPoint);
    Marking currentMarking = PNEditor.getInstance().getDocument().getPetriNet().getMarking();

    if (PNEditor.getInstance().getToolSelector().isSelectedTool_Fire()) {
      if (targetElement instanceof Transition) {
        if (currentMarking.isEnabled((Transition) targetElement)) {
          elementColors.put(targetElement, Color.green);
        } else {
          elementColors.put(targetElement, Color.red);
        }
      }
    }
  }
コード例 #2
0
  public void drawForeground(Graphics g) {
    Marking currentMarking = PNEditor.getInstance().getDocument().getPetriNet().getMarking();

    if (PNEditor.getInstance().getToolSelector().isSelectedTool_Fire()) {
      for (Element element : PNEditor.getInstance().getDocument().getPetriNet()) {
        if (element instanceof Transition) {
          Transition transition = (Transition) element;

          if (currentMarking.isEnabled(transition)) {
            g.setColor(Color.green);
          } else {
            g.setColor(Color.red);
          }
          ((Graphics2D) g).setStroke(new BasicStroke(2f));
          g.drawRect(
              transition.getStart().getX() + 1,
              transition.getStart().getY() + 1,
              transition.getWidth() - 3,
              transition.getHeight() - 3);
          ((Graphics2D) g).setStroke(new BasicStroke(1f));
        }
      }
    }
  }
コード例 #3
0
  public void mousePressed(MouseEvent e) {
    Point clickedPoint = getClickedPoint(e);
    Element clickedElement = getClickedElement(clickedPoint);
    Marking currentmarking = PNEditor.getInstance().getDocument().getPetriNet().getMarking();

    if (PNEditor.getInstance().getToolSelector().isSelectedTool_Fire()) {
      if (clickedElement instanceof Transition) {
        Transition transition = (Transition) clickedElement;

        if (e.getButton() == MouseEvent.BUTTON1) {
          if (currentmarking.isEnabled(transition)) {
            if (!simulationInProgress) {
              simulationInProgress = true;
              oldMarking = new Marking(currentmarking);
              if (canvas.isLogging) {
                newTrace = canvas.newTrace;
              }
            }
            // new event

            if (canvas.isLogging) {
              String resource = "";
              String time = "";
              String name = "UNDEFINED";
              String[] resources = new String[100];
              if (transition.getProperties().getFilteredByClass(RoleProperty.class).size() == 0) {
                resource = "UNDEFINED";
              }
              if (transition.getProperties().getFilteredByClass(RoleProperty.class).size() == 1) {
                resource =
                    transition
                        .getProperties()
                        .getFilteredByClass(RoleProperty.class)
                        .get(0)
                        .getRoleId();
              }
              if (transition.getProperties().getFilteredByClass(RoleProperty.class).size() > 1) {
                int i = 0;
                for (RoleProperty proprol :
                    transition.getProperties().getFilteredByClass(RoleProperty.class)) {
                  resources[i] = proprol.getRoleId();
                  i++;
                }
                resource =
                    (String)
                        JOptionPane.showInputDialog(
                            null,
                            "Choose role for transition",
                            "Roles for transition",
                            JOptionPane.QUESTION_MESSAGE,
                            null,
                            resources,
                            resources[0]);
              }
              if (resource == null) {
                resource = "UNDEFINED";
              }
              SimpleDateFormat ISO8601Local = new SimpleDateFormat("yyyy-MM-dd'T'HH:mm:ss");
              Date now = new Date();
              time = ISO8601Local.format(now);
              if (!transition.getLabel().getText().isEmpty()) {
                name = transition.getLabel().getText().toString();
              }
              event = new XESEvent(name, time, resource, "complete");
              newTrace.addEventToTrace(event);
              PNEditor.getInstance()
                  .getMainFrame()
                  .infolog
                  .setText(
                      "Event added --- event properies : name="
                          + name
                          + "  time="
                          + time
                          + "  resource="
                          + resource
                          + "  lifecycle=complete");
            }

            // new event
            currentmarking.fire(transition);
            canvas.repaint();
          }
        }
      }
      if (clickedElement == null) {
        if (e.getButton() == MouseEvent.BUTTON3) {
          if (simulationInProgress) {
            simulationInProgress = false;
            PNEditor.getInstance().getDocument().getPetriNet().setMarking(oldMarking);
            canvas.repaint();
          } else {
            PNEditor.getInstance().getToolSelector().selectTool_Select();
            // new trace
            if (canvas.isLogging) {
              canvas.logtable.addTraceToLog(newTrace);
              newTrace = null;
              canvas.logtable.show();
              canvas.setIsLogging(false);
              PNEditor.getInstance().getMainFrame().panel.setVisible(false);
              PNEditor.getInstance().getMainFrame().panel.repaint();
            }
            // new trace

          }
        }
      }
    }
  }