public class GraphvizPetriNet
extends java.lang.Object
Constructor and Description |
---|
GraphvizPetriNet() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.plugins.graphviz.dot.Dot |
convert(org.processmining.acceptingpetrinet.models.AcceptingPetriNet petrinet) |
static org.processmining.plugins.graphviz.dot.Dot |
convert(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph petrinet,
org.processmining.models.semantics.petrinet.Marking initialMarking,
java.lang.Iterable<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) |
javax.swing.JComponent |
visualize2(org.processmining.framework.plugin.PluginContext context,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet petrinet) |
public javax.swing.JComponent visualize(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)
public javax.swing.JComponent visualize2(org.processmining.framework.plugin.PluginContext context, org.processmining.acceptingpetrinet.models.AcceptingPetriNet petrinet)
public static org.processmining.plugins.graphviz.dot.Dot convert(org.processmining.acceptingpetrinet.models.AcceptingPetriNet petrinet)
public static org.processmining.plugins.graphviz.dot.Dot convert(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking, java.lang.Iterable<org.processmining.models.semantics.petrinet.Marking> finalMarkings)