A C D E F G H I M N O P R S T V
All Classes All Packages

A

ABState<B> - Class in org.processmining.stochasticlabelledpetrinets.probability

ABState(byte[], B) - Constructor for class org.processmining.stochasticlabelledpetrinets.probability.ABState

addPlace() - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetEditable

addPlace() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

addPlaceToInitialMarking(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetEditable

Adds a token to the given place in the final marking.

addPlaceToInitialMarking(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

addPlaceToInitialMarking(int, int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetEditable

addPlaceToInitialMarking(int, int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

addPlaceTransitionArc(int, int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetEditable

addPlaceTransitionArc(int, int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

addPlaceTransitionArc(int, int, int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetEditable

addPlaceTransitionArc(int, int, int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

addTransition(double) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetEditable

Add a silent transition.

addTransition(double) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

addTransition(String, double) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetEditable

Add a labelled transition.

addTransition(String, double) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

addTransition(String, double) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSimpleWeightsImpl

addTransitionPlaceArc(int, int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetEditable

addTransitionPlaceArc(int, int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

addTransitionPlaceArc(int, int, int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetEditable

addTransitionPlaceArc(int, int, int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

C

clone() - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

clone() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

clone() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsSimpleWeightsImpl

CrossProduct - Class in org.processmining.stochasticlabelledpetrinets.probability

CrossProduct() - Constructor for class org.processmining.stochasticlabelledpetrinets.probability.CrossProduct

CrossProductResult - Interface in org.processmining.stochasticlabelledpetrinets.probability

CrossProductResultDot - Class in org.processmining.stochasticlabelledpetrinets.probability

CrossProductResultDot() - Constructor for class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultDot

CrossProductResultSolver - Class in org.processmining.stochasticlabelledpetrinets.probability

CrossProductResultSolver() - Constructor for class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultSolver

D

decoratePlace(N, int, DotNode) - Method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetVisualisationPlugin

decoratePlace(StochasticLabelledPetriNetSimpleWeights, int, DotNode) - Method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetSimpleWeightsVisualisationPlugin

decorateTransition(N, int, DotNode) - Method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetVisualisationPlugin

decorateTransition(StochasticLabelledPetriNetSimpleWeights, int, DotNode) - Method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetSimpleWeightsVisualisationPlugin

E

enabledTransitions - Variable in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

equals(Object) - Method in class org.processmining.stochasticlabelledpetrinets.probability.ABState

executeTransition(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

Update the state to reflect execution of the transition.

executeTransition(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

export(StochasticLabelledPetriNetSimpleWeights) - Static method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetExportPlugin

export(StochasticLabelledPetriNetSimpleWeights, File) - Static method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetExportPlugin

exportDefault(UIPluginContext, StochasticLabelledPetriNetSimpleWeights, File) - Method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetExportPlugin

F

FollowerSemantics<B> - Interface in org.processmining.stochasticlabelledpetrinets.probability

FollowerSemanticsLTL - Class in org.processmining.stochasticlabelledpetrinets.probability

FollowerSemanticsLTL(String, boolean) - Constructor for class org.processmining.stochasticlabelledpetrinets.probability.FollowerSemanticsLTL

FollowerSemanticsTrace - Class in org.processmining.stochasticlabelledpetrinets.probability

FollowerSemanticsTrace(String[]) - Constructor for class org.processmining.stochasticlabelledpetrinets.probability.FollowerSemanticsTrace

G

getDefaultSemantics() - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet

getDefaultSemantics() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSimpleWeightsImpl

getEnabledTransitions() - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

getEnabledTransitions() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

getInitialState() - Method in interface org.processmining.stochasticlabelledpetrinets.probability.FollowerSemantics

getInitialState() - Method in class org.processmining.stochasticlabelledpetrinets.probability.FollowerSemanticsLTL

getInitialState() - Method in class org.processmining.stochasticlabelledpetrinets.probability.FollowerSemanticsTrace

getInputPlaces(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet

getInputPlaces(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

getInputTransitions(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet

getInputTransitions(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

getNextLine(BufferedReader) - Static method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetImportPlugin

getNumberOfPlaces() - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet

getNumberOfPlaces() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

getNumberOfTransitions() - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet

getNumberOfTransitions() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

getNumberOfTransitions() - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

getNumberOfTransitions() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

getOutputPlaces(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet

getOutputPlaces(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

getOutputTransitions(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet

getOutputTransitions(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

getState() - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

getState() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

getStateA() - Method in class org.processmining.stochasticlabelledpetrinets.probability.ABState

getStateB() - Method in class org.processmining.stochasticlabelledpetrinets.probability.ABState

getTotalWeightOfEnabledTransitions() - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

getTotalWeightOfEnabledTransitions() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsSimpleWeightsImpl

getTraceProbability(StochasticLabelledPetriNetSemantics, String[], ProMCanceller) - Static method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetTraceProbability

getTransitionLabel(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet

Only call when it is certain that the transition is not a silent transition.

getTransitionLabel(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

getTransitionLabel(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

Only call when it is certain that the transition is not a silent transition.

getTransitionLabel(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

getTransitionWeight(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

getTransitionWeight(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsSimpleWeightsImpl

getTransitionWeight(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSimpleWeights

getTransitionWeight(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSimpleWeightsImpl

H

hashCode() - Method in class org.processmining.stochasticlabelledpetrinets.probability.ABState

I

importFromStream(PluginContext, InputStream, String, long) - Method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetImportPlugin

isFinalState() - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

isFinalState() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

isFinalState(B) - Method in interface org.processmining.stochasticlabelledpetrinets.probability.FollowerSemantics

isFinalState(Integer) - Method in class org.processmining.stochasticlabelledpetrinets.probability.FollowerSemanticsTrace

isFinalState(State) - Method in class org.processmining.stochasticlabelledpetrinets.probability.FollowerSemanticsLTL

isInInitialMarking(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet

isInInitialMarking(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

isTransitionSilent(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet

isTransitionSilent(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

isTransitionSilent(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

isTransitionSilent(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

M

main(String[]) - Static method in class org.processmining.stochasticlabelledpetrinets.probability.TestTrace

makeTransitionSilent(int) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetEditable

makeTransitionSilent(int) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

N

numberOfEnabledTransitions - Variable in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

O

org.processmining.stochasticlabelledpetrinets - package org.processmining.stochasticlabelledpetrinets

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

org.processmining.stochasticlabelledpetrinets.probability - package org.processmining.stochasticlabelledpetrinets.probability

P

parseNumber(String) - Static method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetImportPlugin

R

read(InputStream) - Static method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetImportPlugin

reportDeadState(int) - Method in interface org.processmining.stochasticlabelledpetrinets.probability.CrossProductResult

A state will be reported as either final, non-final, or dead.

reportDeadState(int) - Method in class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultDot

reportDeadState(int) - Method in class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultSolver

reportFinalState(int) - Method in interface org.processmining.stochasticlabelledpetrinets.probability.CrossProductResult

A state will be reported as either final, non-final, or dead.

reportFinalState(int) - Method in class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultDot

reportFinalState(int) - Method in class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultSolver

reportInitialState(int) - Method in interface org.processmining.stochasticlabelledpetrinets.probability.CrossProductResult

The initial state will be reported twice: once as initial state, and again as a final or non-final state.

reportInitialState(int) - Method in class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultDot

reportInitialState(int) - Method in class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultSolver

reportNonFinalState(int, TIntList, TDoubleList) - Method in interface org.processmining.stochasticlabelledpetrinets.probability.CrossProductResult

A state will be reported as either final, non-final, or dead.

reportNonFinalState(int, TIntList, TDoubleList) - Method in class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultDot

reportNonFinalState(int, TIntList, TDoubleList) - Method in class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultSolver

S

setInitialState() - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

(Re)set the semantics to the initial state.

setInitialState() - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

setState(byte[]) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemantics

Set a copy of the given state.

setState(byte[]) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

setTransitionLabel(int, String) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetEditable

setTransitionLabel(int, String) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

setTransitionWeight(int, double) - Method in interface org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSimpleWeightsEditable

setTransitionWeight(int, double) - Method in class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSimpleWeightsImpl

solve(ProMCanceller) - Method in class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultSolver

Structure of the LP model: One row per state; one column per state.

StochasticLabelledPetriNet - Interface in org.processmining.stochasticlabelledpetrinets

StochasticLabelledPetriNetEditable - Interface in org.processmining.stochasticlabelledpetrinets

StochasticLabelledPetriNetExportPlugin - Class in org.processmining.stochasticlabelledpetrinets.plugins

StochasticLabelledPetriNetExportPlugin() - Constructor for class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetExportPlugin

StochasticLabelledPetriNetImpl - Class in org.processmining.stochasticlabelledpetrinets

StochasticLabelledPetriNetImpl() - Constructor for class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetImpl

StochasticLabelledPetriNetImportPlugin - Class in org.processmining.stochasticlabelledpetrinets.plugins

StochasticLabelledPetriNetImportPlugin() - Constructor for class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetImportPlugin

StochasticLabelledPetriNetSemantics - Interface in org.processmining.stochasticlabelledpetrinets

Semantics may be implemented using a state machine, thus the underlying Petri net might not be able to be changed.

StochasticLabelledPetriNetSemanticsImpl - Class in org.processmining.stochasticlabelledpetrinets

This semantics aims to avoid traversing all transitions.

StochasticLabelledPetriNetSemanticsImpl(StochasticLabelledPetriNet) - Constructor for class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsImpl

StochasticLabelledPetriNetSemanticsSimpleWeightsImpl - Class in org.processmining.stochasticlabelledpetrinets

This semantics aims to avoid traversing all transitions.

StochasticLabelledPetriNetSemanticsSimpleWeightsImpl(StochasticLabelledPetriNetSimpleWeights) - Constructor for class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSemanticsSimpleWeightsImpl

StochasticLabelledPetriNetSimpleWeights - Interface in org.processmining.stochasticlabelledpetrinets

StochasticLabelledPetriNetSimpleWeightsEditable - Interface in org.processmining.stochasticlabelledpetrinets

StochasticLabelledPetriNetSimpleWeightsImpl - Class in org.processmining.stochasticlabelledpetrinets

StochasticLabelledPetriNetSimpleWeightsImpl() - Constructor for class org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNetSimpleWeightsImpl

StochasticLabelledPetriNetSimpleWeightsVisualisationPlugin - Class in org.processmining.stochasticlabelledpetrinets.plugins

StochasticLabelledPetriNetSimpleWeightsVisualisationPlugin() - Constructor for class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetSimpleWeightsVisualisationPlugin

StochasticLabelledPetriNetTraceProbability - Class in org.processmining.stochasticlabelledpetrinets.plugins

StochasticLabelledPetriNetTraceProbability() - Constructor for class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetTraceProbability

StochasticLabelledPetriNetVisualisationPlugin<N extends StochasticLabelledPetriNet> - Class in org.processmining.stochasticlabelledpetrinets.plugins

StochasticLabelledPetriNetVisualisationPlugin() - Constructor for class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetVisualisationPlugin

T

takeStep(B, String) - Method in interface org.processmining.stochasticlabelledpetrinets.probability.FollowerSemantics

takeStep(Integer, String) - Method in class org.processmining.stochasticlabelledpetrinets.probability.FollowerSemanticsTrace

takeStep(State, String) - Method in class org.processmining.stochasticlabelledpetrinets.probability.FollowerSemanticsLTL

TestTrace - Class in org.processmining.stochasticlabelledpetrinets.probability

TestTrace() - Constructor for class org.processmining.stochasticlabelledpetrinets.probability.TestTrace

toDot() - Method in class org.processmining.stochasticlabelledpetrinets.probability.CrossProductResultDot

toString() - Method in class org.processmining.stochasticlabelledpetrinets.probability.ABState

traverse(StochasticLabelledPetriNetSemantics, FollowerSemantics<B>, CrossProductResult, ProMCanceller) - Static method in class org.processmining.stochasticlabelledpetrinets.probability.CrossProduct

V

visualise(N) - Method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetVisualisationPlugin

visualise(PluginContext, StochasticLabelledPetriNetSimpleWeights, ProMCanceller) - Method in class org.processmining.stochasticlabelledpetrinets.plugins.StochasticLabelledPetriNetSimpleWeightsVisualisationPlugin

A C D E F G H I M N O P R S T V
All Classes All Packages