public interface PetriNetMetric
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() |