Class HybridPetrinetVisualizer


  • public class HybridPetrinetVisualizer
    extends java.lang.Object
    • Constructor Detail

      • HybridPetrinetVisualizer

        protected HybridPetrinetVisualizer()
    • Method Detail

      • visualize

        public static javax.swing.JComponent visualize​(org.processmining.framework.plugin.PluginContext context,
                                                       ExtendedHybridPetrinet fPN)
                                                throws java.lang.Exception
        Throws:
        java.lang.Exception
      • getResultsPanel

        public static HybridPetrinetVisualization getResultsPanel​(ExtendedHybridPetrinet graph,
                                                                  org.processmining.models.graphbased.ViewSpecificAttributeMap map,
                                                                  org.processmining.framework.plugin.Progress progress)
                                                           throws java.lang.Exception
        Throws:
        java.lang.Exception
      • createJGraph

        public static org.processmining.models.jgraph.ProMJGraph createJGraph​(ExtendedHybridPetrinet fuzzyPetrinet,
                                                                              org.processmining.models.graphbased.ViewSpecificAttributeMap map,
                                                                              org.processmining.framework.plugin.Progress progress)
                                                                       throws java.lang.Exception
        Throws:
        java.lang.Exception
      • getHierarchicalLayout

        protected static com.jgraph.layout.hierarchical.JGraphHierarchicalLayout getHierarchicalLayout​(org.processmining.framework.plugin.Progress progress)
      • fixParallelEdges

        protected static void fixParallelEdges​(com.jgraph.layout.JGraphFacade facade,
                                               double spacing)