org.processmining.plugins.graphviz.visualisation
Classes
DotPanel
DotPanelUserSettings
DotVisualisation
NavigableSVGPanel