Package org.tweetyproject.logics.petri.syntax.reachability_graph

Class MarkovWalk

java.lang.Object

org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk

public class MarkovWalk
extends Object

A class to perform a stochastic walk on a reachability graph based on a probability function on that graph

Author:

Benedikt Knopp

Constructor Summary

Constructors

Constructor	Description
MarkovWalk(ReachabilityGraph graph)	Create a new instance

Method Summary

Modifier and Type	Method	Description
Matrix	getControlVector()	Return the controlVector
Matrix	getCurrentState()	Return the currentState
Matrix	getMeanState()	Return the mean state
Matrix	getNormalizedControlVector()	Return the normalized control vector
void	initializeWalk()	Initialize the walk by setting up an initial state that assigns equal probabilities to each of the graph's initial markings
void	performShortCircuitWalk()	Walk the network until a stationary distribution is figured out This also yields control vectors
void	performWalk()	Walk the network until a stationary distribution is figured out This neglects control vectors

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

MarkovWalk

public MarkovWalk(ReachabilityGraph graph)

Create a new instance

Parameters:

graph - the graph to walk

Method Details

initializeWalk

public void initializeWalk()

Initialize the walk by setting up an initial state that assigns equal probabilities to each of the graph's initial markings

performWalk

public void performWalk()

Walk the network until a stationary distribution is figured out This neglects control vectors

performShortCircuitWalk

public void performShortCircuitWalk()

Walk the network until a stationary distribution is figured out This also yields control vectors

getCurrentState

public Matrix getCurrentState()

Return the currentState

Returns:

the currentState

getMeanState

public Matrix getMeanState()

Return the mean state

Returns:

the mean state

getControlVector

public Matrix getControlVector()

Return the controlVector

Returns:

the controlVector

getNormalizedControlVector

public Matrix getNormalizedControlVector()

Return the normalized control vector

Returns:

the normalized control vector