Modifier and Type | Method and Description |
---|---|
org.processmining.framework.util.Pair<StateMachineNet,java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,ElementBlock>> |
StateMachineBuilderAlgorithm.build(org.processmining.models.graphbased.directed.DirectedGraph<? extends org.processmining.models.graphbased.directed.DirectedGraphNode,? extends org.processmining.models.graphbased.directed.DirectedGraphEdge<? extends org.processmining.models.graphbased.directed.DirectedGraphNode,? extends org.processmining.models.graphbased.directed.DirectedGraphNode>> graph,
org.processmining.models.connections.GraphLayoutConnection layout,
LayoutParameters layoutParameters) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Reduction> |
AlternativeTransitionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters) |
java.util.Set<Reduction> |
FinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters)
Return the set of suitable reductions for the given net.
|
java.util.Set<Reduction> |
PlaceAbstractionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters)
Return the set of suitable reductions for the given net.
|
java.util.Set<Reduction> |
PlaceFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters) |
java.util.Set<Reduction> |
ReverseTransitionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters) |
java.util.Set<Reduction> |
RigidFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters)
Find a rigid.
|
java.util.Set<Reduction> |
SelfLoopTransitionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters) |
java.util.Set<Reduction> |
TransitionAbstractionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters)
Return the set of suitable reductions for the given net.
|
java.util.Set<Reduction> |
TransitionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters)
Return the set of suitable reductions for the given net.
|
void |
ReductionAlgorithm.reduce(StateMachineNet net,
LayoutParameters layoutParameters)
Reduce the given net as far as possible.
|
boolean |
ReductionAlgorithm.reduceOnce(StateMachineNet net,
LayoutParameters layoutParameters)
Try to apply a single reduction on the net.
|
Modifier and Type | Method and Description |
---|---|
void |
PlaceAbstractionReduction.apply(StateMachineNet net,
LayoutParameters layoutParameters)
Applies this reduction to the given net.
|
void |
PlaceReduction.apply(StateMachineNet net,
LayoutParameters layoutParameters) |
void |
Reduction.apply(StateMachineNet net,
LayoutParameters layoutParameters)
Applies this reduction to the given net.
|
void |
RigidReduction.apply(StateMachineNet net,
LayoutParameters layoutParameters) |
void |
TransitionAbstractionReduction.apply(StateMachineNet net,
LayoutParameters layoutParameters)
Applies this reduction to the given net.
|
void |
TransitionReduction.apply(StateMachineNet net,
LayoutParameters layoutParameters)
Applies this reduction to the given net.
|
int |
PlaceAbstractionReduction.costs(StateMachineNet net,
LayoutParameters layoutParameters)
Returns the costs of applying this reduction on the given net.
|
int |
PlaceReduction.costs(StateMachineNet net,
LayoutParameters layoutParameters) |
int |
Reduction.costs(StateMachineNet net,
LayoutParameters layoutParameters)
Returns the costs of applying this reduction on the given net.
|
int |
RigidReduction.costs(StateMachineNet net,
LayoutParameters layoutParameters) |
int |
TransitionAbstractionReduction.costs(StateMachineNet net,
LayoutParameters layoutParameters)
Returns the costs of applying this reduction on the given net.
|
int |
TransitionReduction.costs(StateMachineNet net,
LayoutParameters layoutParameters)
Returns the costs of applying this reduction on the given net.
|
Modifier and Type | Method and Description |
---|---|
int |
LayoutParameters.getPlaceAbstractionReductionCosts(StateMachineNet net,
Place place,
Transition transition) |
int |
LayoutParameters.getPlaceReductionCosts(StateMachineNet net,
Place place,
Place proxy) |
int |
LayoutParameters.getTransitionAbstractionReductionCosts(StateMachineNet net,
Place place,
Transition transition) |
int |
LayoutParameters.getTransitionReductionCosts(StateMachineNet net,
Transition transition,
java.util.List<Transition> transitions) |
Modifier and Type | Method and Description |
---|---|
StateMachineNet |
StateMachineBuilderPlugin.run(org.processmining.framework.plugin.PluginContext context,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet net) |
StateMachineNet |
StateMachineBuilderPlugin.run(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.bpmn.BPMNDiagram diagram) |
StateMachineNet |
StateMachineBuilderPlugin.run(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
StateMachineNet |
StateMachineBuilderPlugin.run(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts) |
StateMachineNet |
ReductionPlugin.runFree(org.processmining.framework.plugin.PluginContext context,
StateMachineNet net) |
StateMachineNet |
ReductionPlugin.runOnce(org.processmining.framework.plugin.PluginContext context,
StateMachineNet net) |
Modifier and Type | Method and Description |
---|---|
StateMachineNet |
ReductionPlugin.runFree(org.processmining.framework.plugin.PluginContext context,
StateMachineNet net) |
StateMachineNet |
ReductionPlugin.runOnce(org.processmining.framework.plugin.PluginContext context,
StateMachineNet net) |
static javax.swing.JComponent |
StateMachineNetVisualizerPlugin.visualize(org.processmining.framework.plugin.PluginContext context,
StateMachineNet net) |
static javax.swing.JComponent |
StateMachineNetVisualizerPlugin.visualize(org.processmining.contexts.uitopia.UIPluginContext context,
StateMachineNet net) |