A B C D E F G I M N O R S T U
All Classes All Packages

A

addArc(Petrinet, PetrinetNode, PetrinetNode, int) - Static method in class org.processmining.plugins.petrinet.reduction.MurataUtils

Adds an arc with given source, target, and weight to the given net.

addSacred(PetrinetNode) - Method in class org.processmining.plugins.petrinet.reduction.MurataInput

Adds a node to the sacred nodes.

allowRule(int) - Method in class org.processmining.plugins.petrinet.reduction.MurataInput

Allows a rule to be applied.

apply(PluginContext, Petrinet, BerthelotParameters) - Method in class org.processmining.algorithms.BerthelotAlgorithm

ASM - Static variable in class org.processmining.plugins.petrinet.reduction.MurataInput

B

BerthelotAlgorithm - Class in org.processmining.algorithms

BerthelotAlgorithm() - Constructor for class org.processmining.algorithms.BerthelotAlgorithm

BerthelotConnection - Class in org.processmining.connections

BerthelotConnection(Petrinet, Petrinet, BerthelotParameters) - Constructor for class org.processmining.connections.BerthelotConnection

BerthelotHelp - Class in org.processmining.help

BerthelotHelp() - Constructor for class org.processmining.help.BerthelotHelp

BerthelotParameters - Class in org.processmining.parameters

BerthelotParameters() - Constructor for class org.processmining.parameters.BerthelotParameters

BerthelotParameters(BerthelotParameters) - Constructor for class org.processmining.parameters.BerthelotParameters

BerthelotPlugin - Class in org.processmining.plugins

BerthelotPlugin() - Constructor for class org.processmining.plugins.BerthelotPlugin

C

CSM - Static variable in class org.processmining.plugins.petrinet.reduction.MurataInput

D

disallowRule(int) - Method in class org.processmining.plugins.petrinet.reduction.MurataInput

Disallows a rule to be applied.

E

ELP - Static variable in class org.processmining.plugins.petrinet.reduction.MurataInput

ELT - Static variable in class org.processmining.plugins.petrinet.reduction.MurataInput

F

FPP - Static variable in class org.processmining.plugins.petrinet.reduction.MurataInput

FPT - Static variable in class org.processmining.plugins.petrinet.reduction.MurataInput

FSP - Static variable in class org.processmining.plugins.petrinet.reduction.MurataInput

FST - Static variable in class org.processmining.plugins.petrinet.reduction.MurataInput

G

getFinalBerthelotMarkings() - Method in class org.processmining.parameters.BerthelotParameters

getFinalMarkings() - Method in class org.processmining.parameters.BerthelotParameters

getInitialBerthelotMarking() - Method in class org.processmining.parameters.BerthelotParameters

getInitialMarking() - Method in class org.processmining.parameters.BerthelotParameters

getLog() - Method in class org.processmining.plugins.petrinet.reduction.MurataOutput

Gets the log.

getMarking() - Method in class org.processmining.plugins.petrinet.reduction.MurataInput

Gets the marking (of the Petri net to reduce).

getMarking() - Method in class org.processmining.plugins.petrinet.reduction.MurataOutput

Gets the marking of the reduced Petri net.

getNet() - Method in class org.processmining.plugins.petrinet.reduction.MurataInput

Gets the Petri net to reduce.

getNet() - Method in class org.processmining.plugins.petrinet.reduction.MurataOutput

Gets the reduced Petri net.

getParameters() - Method in class org.processmining.connections.BerthelotConnection

getPlaceMapping() - Method in class org.processmining.plugins.petrinet.reduction.MurataOutput

Sets the place mapping.

getTransitionMapping() - Method in class org.processmining.plugins.petrinet.reduction.MurataOutput

I

isAllowedRule(int) - Method in class org.processmining.plugins.petrinet.reduction.MurataInput

Checks whether some rule may be applied.

isAllowFPTSacredNode() - Method in class org.processmining.plugins.petrinet.reduction.MurataParameters

isSacred(PetrinetNode) - Method in class org.processmining.plugins.petrinet.reduction.MurataInput

Checks whether a node is sacred.

M

Murata - Class in org.processmining.plugins.petrinet.reduction

Petri net reduction rules, based on Murata rules.

Murata() - Constructor for class org.processmining.plugins.petrinet.reduction.Murata

MurataASM - Class in org.processmining.plugins.petrinet.reduction

MurataASM() - Constructor for class org.processmining.plugins.petrinet.reduction.MurataASM

MurataCSM - Class in org.processmining.plugins.petrinet.reduction

MurataCSM() - Constructor for class org.processmining.plugins.petrinet.reduction.MurataCSM

MurataESP - Class in org.processmining.plugins.petrinet.reduction

MurataESP() - Constructor for class org.processmining.plugins.petrinet.reduction.MurataESP

MurataEST - Class in org.processmining.plugins.petrinet.reduction

MurataEST() - Constructor for class org.processmining.plugins.petrinet.reduction.MurataEST

MurataFPP - Class in org.processmining.plugins.petrinet.reduction

MurataFPP() - Constructor for class org.processmining.plugins.petrinet.reduction.MurataFPP

MurataFPT - Class in org.processmining.plugins.petrinet.reduction

MurataFPT() - Constructor for class org.processmining.plugins.petrinet.reduction.MurataFPT

MurataFSP - Class in org.processmining.plugins.petrinet.reduction

MurataFSP() - Constructor for class org.processmining.plugins.petrinet.reduction.MurataFSP

MurataFST - Class in org.processmining.plugins.petrinet.reduction

MurataFST() - Constructor for class org.processmining.plugins.petrinet.reduction.MurataFST

MurataHelp - Class in org.processmining.help

MurataHelp() - Constructor for class org.processmining.help.MurataHelp

MurataInput - Class in org.processmining.plugins.petrinet.reduction

General input for Petri net reduction rules.

MurataInput(Petrinet, Marking) - Constructor for class org.processmining.plugins.petrinet.reduction.MurataInput

Constructs a MurataInput given a Petri net and its marking.

MurataOutput - Class in org.processmining.plugins.petrinet.reduction

General output of Petri net reduction rules.

MurataOutput(Petrinet, Marking) - Constructor for class org.processmining.plugins.petrinet.reduction.MurataOutput

Constructs a new MurataOutput, given the reduced Petri net and its marking.

MurataParameters - Class in org.processmining.plugins.petrinet.reduction

MurataParameters() - Constructor for class org.processmining.plugins.petrinet.reduction.MurataParameters

MurataRule - Class in org.processmining.plugins.petrinet.reduction

MurataRule() - Constructor for class org.processmining.plugins.petrinet.reduction.MurataRule

MurataUtils - Class in org.processmining.plugins.petrinet.reduction

MurataUtils() - Constructor for class org.processmining.plugins.petrinet.reduction.MurataUtils

N

NET - Static variable in class org.processmining.connections.BerthelotConnection

O

org.processmining.algorithms - package org.processmining.algorithms

org.processmining.connections - package org.processmining.connections

org.processmining.help - package org.processmining.help

org.processmining.parameters - package org.processmining.parameters

org.processmining.plugins - package org.processmining.plugins

org.processmining.plugins.petrinet.reduction - package org.processmining.plugins.petrinet.reduction

R

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking) - Method in class org.processmining.plugins.petrinet.reduction.MurataASM

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking) - Method in class org.processmining.plugins.petrinet.reduction.MurataCSM

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking) - Method in class org.processmining.plugins.petrinet.reduction.MurataESP

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking) - Method in class org.processmining.plugins.petrinet.reduction.MurataEST

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking) - Method in class org.processmining.plugins.petrinet.reduction.MurataFPP

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking) - Method in class org.processmining.plugins.petrinet.reduction.MurataFPT

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking) - Method in class org.processmining.plugins.petrinet.reduction.MurataFSP

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking) - Method in class org.processmining.plugins.petrinet.reduction.MurataFST

Apply the FST rule once, if possible.

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking) - Method in class org.processmining.plugins.petrinet.reduction.MurataRule

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataASM

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataCSM

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataESP

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataEST

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataFPP

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataFPT

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataFSP

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataFST

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, Map<PetrinetNode, Set<PetrinetEdge<? extends PetrinetNode, ? extends PetrinetNode>>>, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataRule

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataASM

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataCSM

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataESP

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataEST

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataFPP

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataFPT

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataFSP

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataFST

reduce(Petrinet, Collection<PetrinetNode>, HashMap<Transition, Transition>, HashMap<Place, Place>, Marking, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataRule

reduceDefault(PluginContext, Petrinet) - Method in class org.processmining.plugins.BerthelotPlugin

Deprecated.

REDUCEDNET - Static variable in class org.processmining.connections.BerthelotConnection

reduceParameters(PluginContext, Petrinet, BerthelotParameters) - Method in class org.processmining.plugins.BerthelotPlugin

Deprecated.

removeSacred(PetrinetNode) - Method in class org.processmining.plugins.petrinet.reduction.MurataInput

Removes a node form the sacred nodes.

resetPlace(Marking, Place) - Static method in class org.processmining.plugins.petrinet.reduction.MurataUtils

Remove all tokens from the given place in the given marking.

run(PluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.reduction.Murata

run(PluginContext, Petrinet, Marking) - Method in class org.processmining.plugins.petrinet.reduction.Murata

Apply the Murata reduction rules until no further reductions are possible.

run(PluginContext, Petrinet, Marking, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.Murata

run(PluginContext, Petrinet, BerthelotParameters) - Method in class org.processmining.plugins.BerthelotPlugin

run(PluginContext, Petrinet, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.Murata

run(PluginContext, MurataInput) - Method in class org.processmining.plugins.petrinet.reduction.Murata

Apply the Murata reduction rules until no further reductions are possible.

run(PluginContext, MurataInput, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.Murata

runDefault(PluginContext, Petrinet) - Method in class org.processmining.plugins.BerthelotPlugin

runPreserveBehavior(PluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.reduction.Murata

runPreserveBehavior(PluginContext, Petrinet, Marking) - Method in class org.processmining.plugins.petrinet.reduction.Murata

runPreserveSoundness(PluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.reduction.Murata

runPreserveSoundness(PluginContext, Petrinet, Marking) - Method in class org.processmining.plugins.petrinet.reduction.Murata

runWF(PluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.reduction.Murata

runWF(PluginContext, Petrinet, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.Murata

runWithoutMarking(PluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.reduction.Murata

Variant that only takes the Petri net, and uses the framework to get to an initial marking.

S

setAllowFPTSacredNode(boolean) - Method in class org.processmining.plugins.petrinet.reduction.MurataParameters

setFinalBerthelotMarkings(Set<Marking>) - Method in class org.processmining.parameters.BerthelotParameters

setFinalMarkings(Set<Marking>) - Method in class org.processmining.parameters.BerthelotParameters

setInitialBerthelotMarking(Marking) - Method in class org.processmining.parameters.BerthelotParameters

setInitialMarking(Marking) - Method in class org.processmining.parameters.BerthelotParameters

setMarking(Marking) - Method in class org.processmining.plugins.petrinet.reduction.MurataInput

Sets the marking (of the Petri net to reduce).

setNet(Petrinet) - Method in class org.processmining.plugins.petrinet.reduction.MurataInput

Sets the Petri net to reduce.

setPlaceMapping(Map<Place, Place>) - Method in class org.processmining.plugins.petrinet.reduction.MurataOutput

Sets the transition mapping.

setTransitionMapping(Map<Transition, Transition>) - Method in class org.processmining.plugins.petrinet.reduction.MurataOutput

setVisibleSacred(Petrinet) - Method in class org.processmining.plugins.petrinet.reduction.MurataInput

Adds the set of transitions with a visible label to the sacred nodes.

simplify(PluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.reduction.Murata

simplify(PluginContext, Petrinet, Marking) - Method in class org.processmining.plugins.petrinet.reduction.Murata

simplify(PluginContext, Petrinet, Marking, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.Murata

T

TEXT - Static variable in class org.processmining.help.BerthelotHelp

TEXT - Static variable in class org.processmining.help.MurataHelp

TEXTPB - Static variable in class org.processmining.help.MurataHelp

TEXTPS - Static variable in class org.processmining.help.MurataHelp

U

updateLabel(Arc) - Static method in class org.processmining.plugins.petrinet.reduction.MurataUtils

Update the label of the given arc.

updateLabel(Place, Marking) - Static method in class org.processmining.plugins.petrinet.reduction.MurataUtils

Update the label of the given place given the current marking.

A B C D E F G I M N O R S T U
All Classes All Packages