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

getCurrentState()

void

initializeWalk()

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

void

performWalk()

Walk the network until a stationary distribution is reached

void

setCurrentState(Matrix currentState)

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 reached
- getCurrentState
  
  public Matrix getCurrentState()
  
  Returns:
  
  the currentState
- setCurrentState
  
  public void setCurrentState(Matrix currentState)
  
  Parameters:
  
  currentState - the currentState to set