org.processmining.xlu.relabel.visualization

Class GraphvizPetriNet

java.lang.Object

org.processmining.xlu.relabel.visualization.GraphvizPetriNet

public class GraphvizPetriNet
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
GraphvizPetriNet()

Method Summary

Modifier and Type	Method and Description
static org.processmining.plugins.graphviz.dot.Dot	convert(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking... finalMarkings)
javax.swing.JComponent	visualize(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphvizPetriNet

public GraphvizPetriNet()

Method Detail

visualize

public javax.swing.JComponent visualize(org.processmining.framework.plugin.PluginContext context,
                                        org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)

convert

public static org.processmining.plugins.graphviz.dot.Dot convert(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                                                                 org.processmining.models.semantics.petrinet.Marking initialMarking,
                                                                 org.processmining.models.semantics.petrinet.Marking... finalMarkings)