public class PluginUtils
extends java.lang.Object
Constructor and Description |
---|
PluginUtils() |
Modifier and Type | Method and Description |
---|---|
static prefuse.data.Graph |
netToGraph(org.processmining.framework.plugin.PluginContext context,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet n,
SoundnessInformation information) |
static prefuse.data.Graph |
netToGraph(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph d,
org.processmining.models.semantics.petrinet.Marking m,
SoundnessInformation information) |
public static prefuse.data.Graph netToGraph(org.processmining.framework.plugin.PluginContext context, org.processmining.acceptingpetrinet.models.AcceptingPetriNet n, SoundnessInformation information)
public static prefuse.data.Graph netToGraph(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph d, org.processmining.models.semantics.petrinet.Marking m, SoundnessInformation information)