java.lang.String |
MurataASM.reduce(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
java.lang.String |
MurataCSM.reduce(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
java.lang.String |
MurataESP.reduce(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
java.lang.String |
MurataEST.reduce(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
java.lang.String |
MurataFPP.reduce(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
java.lang.String |
MurataFPT.reduce(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
java.lang.String |
MurataFSP.reduce(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
java.lang.String |
MurataFST.reduce(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
abstract java.lang.String |
MurataRule.reduce(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
MurataOutput |
Murata.run(org.processmining.framework.plugin.PluginContext context,
MurataInput input,
MurataParameters parameters) |
java.lang.Object[] |
Murata.run(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
Murata.run(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
MurataParameters parameters) |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
Murata.runWF(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
MurataParameters parameters) |
java.lang.Object[] |
Murata.simplify(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |