Package org.processmining.explorativeprocessdiscovery.visual

Class PetriNetVisualization

  • public class PetriNetVisualization
extends java.lang.Object
    This plugin visualizes information about a Petri net. Instead of allowing the user to give all possible information, the available connections are scanned and used for finding information relating the the net.
    Author:
    bfvdonge

    • Field Summary

      Fields 
      Modifier and Type Field Description
      javax.swing.JPanel MJP  

    • Constructor Summary

      Constructors 
      Constructor Description
      PetriNetVisualization​(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph origNet)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected javax.swing.JPanel visualizeWithAll​(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph n)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • MJP

        public javax.swing.JPanel MJP

    • Constructor Detail

      • PetriNetVisualization

        public PetriNetVisualization​(org.processmining.framework.plugin.PluginContext context,
                             org.processmining.models.graphbased.directed.petrinet.PetrinetGraph origNet)

    • Method Detail

      • visualizeWithAll

        protected javax.swing.JPanel visualizeWithAll​(org.processmining.framework.plugin.PluginContext context,
                                              org.processmining.models.graphbased.directed.petrinet.PetrinetGraph n)