Skip navigation links
A B C D E F G I M N O R S T U 

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, MurataParameters) - 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, MurataParameters) - 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, MurataParameters) - 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, MurataParameters) - 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, MurataParameters) - 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, MurataParameters) - 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, MurataParameters) - 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, MurataParameters) - Method in class org.processmining.plugins.petrinet.reduction.MurataFST
 
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, 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, BerthelotParameters) - Method in class org.processmining.plugins.BerthelotPlugin
 
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) - Method in class org.processmining.plugins.petrinet.reduction.Murata
 
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, Marking) - Method in class org.processmining.plugins.petrinet.reduction.Murata
 
runPreserveBehavior(PluginContext, Petrinet) - Method in class org.processmining.plugins.petrinet.reduction.Murata
 
runPreserveSoundness(PluginContext, Petrinet, Marking) - Method in class org.processmining.plugins.petrinet.reduction.Murata
 
runPreserveSoundness(PluginContext, Petrinet) - 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, Marking) - Method in class org.processmining.plugins.petrinet.reduction.Murata
 
simplify(PluginContext, Petrinet) - 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 
Skip navigation links