예제 #1
0
  /**
   * Returns {@link PetrinetViewer#getNodeSize() current node size} of current {@link
   * PetrinetViewer}
   *
   * @return
   */
  public double getCurrentNodeSize() {

    return petrinetViewer.getNodeSize();
  }