Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
A
D
E
F
G
I
M
O
R
S
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.
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
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.
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.
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
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
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.
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
O
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.
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
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, Marking)
- Method in class org.processmining.plugins.petrinet.reduction.
Murata
Apply the Murata reduction rules until no further reductions are possible.
run(PluginContext, Petrinet)
- 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.
S
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.
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
D
E
F
G
I
M
O
R
S
U
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes