/** * Returns {@link PetrinetViewer#getNodeSize() current node size} of current {@link * PetrinetViewer} * * @return */ public double getCurrentNodeSize() { return petrinetViewer.getNodeSize(); }