public class PetriNetDensityMetric extends java.lang.Object implements PetriNetMetric
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
NAME |
Constructor and Description |
---|
PetriNetDensityMetric() |
Modifier and Type | Method and Description |
---|---|
double |
compute(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking) |
java.lang.StringBuffer |
getLog() |
java.lang.String |
getName() |
public static final java.lang.String NAME
public double compute(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking)
compute
in interface PetriNetMetric
public java.lang.String getName()
getName
in interface PetriNetMetric
public java.lang.StringBuffer getLog()
getLog
in interface PetriNetMetric