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)