예제 #1
0
  /** repaints the panel */
  public void repaint() {

    petrinetViewer.repaint();
  }