Esempio n. 1
0
  /** repaints the panel */
  public void repaint() {

    petrinetViewer.repaint();
  }