Package org.processmining.plugins.stochasticpetrinet.simulator

Class WorldConfiguration

java.lang.Object

org.processmining.plugins.stochasticpetrinet.simulator.WorldConfiguration

public class WorldConfiguration
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
WorldConfiguration()
WorldConfiguration(edu.uci.ics.jung.graph.Graph<Location,java.lang.Double> locationGraph, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.Set<Allocation>> transitionLocationMapping, boolean locationEnabled)

Method Summary

Modifier and Type	Method	Description
static double[][]	floydWarshall(double[][] graph)	Assumes that graph is an adjacency matrix of distances (0 for connected with no cost or identity, val for directly connected with cost val, Double.POSITIVE_INFINITY for unconnected)
double[][]	getAdjacencyMatrix()
double[][]	getDistances()
java.lang.String	getFilePrefix()
edu.uci.ics.jung.graph.Graph<Location,java.lang.Double>	getLocationGraph()
int	getLocationId(java.lang.String location)
java.lang.String[]	getLocations()
double	getMissingRatio()
java.lang.Double	getResourceSpeedFactor(java.lang.String resource)
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.Set<Allocation>>	getTransitionLocationMapping()
boolean	isLocationEnabledSimulation()
boolean	isResourceTimeAsynchronous()
void	setFilePrefix(java.lang.String prefix)
void	setLocationEnabledSimulation(boolean locationEnabledSimulation)
void	setLocationGraph(edu.uci.ics.jung.graph.Graph<Location,java.lang.Double> locationGraph)
void	setLocationGraph(java.lang.String[] locationNames, double[][] adjacencyMatrix)
void	setMissingRatio(double missingRatio)
void	setResourceSpeedFactors(java.util.Map<java.lang.String,java.lang.Double> resourceSpeedFactors)
void	setResourceTimeAsynchronous(boolean asynchronous)
void	setTransitionLocationMapping(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.Set<Allocation>> transitionLocationMapping)

Methods inherited from class java.lang.Object

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

Constructor Detail

WorldConfiguration

public WorldConfiguration()

WorldConfiguration

public WorldConfiguration(edu.uci.ics.jung.graph.Graph<Location,java.lang.Double> locationGraph,
                          java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.Set<Allocation>> transitionLocationMapping,
                          boolean locationEnabled)

Method Detail

setLocationGraph

public void setLocationGraph(java.lang.String[] locationNames,
                             double[][] adjacencyMatrix)

getLocationGraph

public edu.uci.ics.jung.graph.Graph<Location,java.lang.Double> getLocationGraph()

setLocationGraph

public void setLocationGraph(edu.uci.ics.jung.graph.Graph<Location,java.lang.Double> locationGraph)

isLocationEnabledSimulation

public boolean isLocationEnabledSimulation()

setLocationEnabledSimulation

public void setLocationEnabledSimulation(boolean locationEnabledSimulation)

getTransitionLocationMapping

public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.Set<Allocation>> getTransitionLocationMapping()

setTransitionLocationMapping

public void setTransitionLocationMapping(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.util.Set<Allocation>> transitionLocationMapping)

getDistances

public double[][] getDistances()

getLocations

public java.lang.String[] getLocations()

getLocationId

public int getLocationId(java.lang.String location)

getAdjacencyMatrix

public double[][] getAdjacencyMatrix()

floydWarshall

public static double[][] floydWarshall(double[][] graph)

Assumes that graph is an adjacency matrix of distances (0 for connected with no cost or identity, val for directly connected with cost val, Double.POSITIVE_INFINITY for unconnected)

setResourceSpeedFactors

public void setResourceSpeedFactors(java.util.Map<java.lang.String,java.lang.Double> resourceSpeedFactors)

getResourceSpeedFactor

public java.lang.Double getResourceSpeedFactor(java.lang.String resource)

isResourceTimeAsynchronous

public boolean isResourceTimeAsynchronous()

setResourceTimeAsynchronous

public void setResourceTimeAsynchronous(boolean asynchronous)

setMissingRatio

public void setMissingRatio(double missingRatio)

getMissingRatio

public double getMissingRatio()

setFilePrefix

public void setFilePrefix(java.lang.String prefix)

getFilePrefix

public java.lang.String getFilePrefix()