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