public class CoverabilityGraphExtender
extends java.lang.Object
Constructor and Description |
---|
CoverabilityGraphExtender() |
Modifier and Type | Method and Description |
---|---|
protected void |
addNoisyTransition(org.processmining.models.graphbased.directed.transitionsystem.State source,
org.processmining.models.graphbased.directed.transitionsystem.State target,
java.lang.String activity) |
protected void |
addWeights() |
protected void |
bypassSilent() |
protected void |
cloneGraph(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph originalGraph,
org.processmining.models.graphbased.directed.transitionsystem.StartStateSet originalStartIds,
org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet originalAcceptIds) |
java.lang.Object[] |
extend(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph originalGraph,
org.processmining.models.graphbased.directed.transitionsystem.StartStateSet originalStartIds,
org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet originalAcceptIds,
int costWrongFlow,
int costActivityNotInProcess) |
protected org.processmining.models.graphbased.directed.transitionsystem.State |
getDeviationTargetState(org.processmining.models.graphbased.directed.transitionsystem.State source,
java.lang.String activity) |
protected java.util.Set<java.lang.String> |
getProcessAlphabet() |
protected boolean |
isTransitionTau(org.processmining.models.graphbased.directed.transitionsystem.Transition transition) |
java.lang.Object[] |
plugin(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet model,
org.processmining.models.semantics.petrinet.Marking state) |
public java.lang.Object[] plugin(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet model, org.processmining.models.semantics.petrinet.Marking state) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] extend(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph originalGraph, org.processmining.models.graphbased.directed.transitionsystem.StartStateSet originalStartIds, org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet originalAcceptIds, int costWrongFlow, int costActivityNotInProcess)
protected boolean isTransitionTau(org.processmining.models.graphbased.directed.transitionsystem.Transition transition)
protected java.util.Set<java.lang.String> getProcessAlphabet()
protected void addNoisyTransition(org.processmining.models.graphbased.directed.transitionsystem.State source, org.processmining.models.graphbased.directed.transitionsystem.State target, java.lang.String activity)
protected void cloneGraph(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph originalGraph, org.processmining.models.graphbased.directed.transitionsystem.StartStateSet originalStartIds, org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet originalAcceptIds)
protected void bypassSilent()
protected void addWeights()
protected org.processmining.models.graphbased.directed.transitionsystem.State getDeviationTargetState(org.processmining.models.graphbased.directed.transitionsystem.State source, java.lang.String activity)