public class PNSimulatorConfig
extends java.lang.Object
PNSimulator
.Constructor and Description |
---|
PNSimulatorConfig() |
PNSimulatorConfig(long numberOfTraces) |
PNSimulatorConfig(long numberOfTraces,
StochasticNet.TimeUnit unitFactor) |
PNSimulatorConfig(long numberOfTraces,
StochasticNet.TimeUnit unitFactor,
long seed) |
PNSimulatorConfig(long numberOfTraces,
StochasticNet.TimeUnit unitFactor,
long seed,
double arrivalRate) |
PNSimulatorConfig(long numberOfTraces,
StochasticNet.TimeUnit unitFactor,
long seed,
double arrivalRate,
int maxEventsInOneTrace) |
PNSimulatorConfig(long numberOfTraces,
StochasticNet.TimeUnit unitFactor,
long seed,
double arrivalRate,
int maxEventsInOneTrace,
StochasticNet.ExecutionPolicy policy) |
PNSimulatorConfig(long numberOfTraces,
StochasticNet.TimeUnit unitFactor,
long seed,
double arrivalRate,
int maxEventsInOneTrace,
StochasticNet.ExecutionPolicy policy,
java.lang.String logName) |
PNSimulatorConfig(long numberOfTraces,
StochasticNet net) |
Modifier and Type | Method and Description |
---|---|
StochasticNet.ExecutionPolicy |
getExecutionPolicy() |
double |
getQuantile() |
StochasticNet.TimeUnit |
getUnitFactor() |
boolean |
isAllowUnbounded() |
boolean |
isDeterministicBoundedStateSpaceExploration() |
void |
setAllowUnbounded(boolean allowUnbounded) |
void |
setDeterministicBoundedStateSpaceExploration(boolean deterministicBoundedStateSpaceExploration) |
void |
setQuantile(double quantile) |
void |
setSeed(long seed) |
void |
setSimulateTraceless(boolean simulateTraceLess) |
public PNSimulatorConfig(long numberOfTraces, StochasticNet net)
public PNSimulatorConfig()
public PNSimulatorConfig(long numberOfTraces)
public PNSimulatorConfig(long numberOfTraces, StochasticNet.TimeUnit unitFactor)
public PNSimulatorConfig(long numberOfTraces, StochasticNet.TimeUnit unitFactor, long seed)
public PNSimulatorConfig(long numberOfTraces, StochasticNet.TimeUnit unitFactor, long seed, double arrivalRate)
public PNSimulatorConfig(long numberOfTraces, StochasticNet.TimeUnit unitFactor, long seed, double arrivalRate, int maxEventsInOneTrace)
public PNSimulatorConfig(long numberOfTraces, StochasticNet.TimeUnit unitFactor, long seed, double arrivalRate, int maxEventsInOneTrace, StochasticNet.ExecutionPolicy policy)
public PNSimulatorConfig(long numberOfTraces, StochasticNet.TimeUnit unitFactor, long seed, double arrivalRate, int maxEventsInOneTrace, StochasticNet.ExecutionPolicy policy, java.lang.String logName)
numberOfTraces
- the number of traces to generate by simulation.unitFactor
- the time units factor represented in the stochastic distributions (1 = milliseconds, 1000 = seconds, 60.000=minutes...)seed
- the seed for the pseudo-random generator (helps to generate the same results, if required)arrivalRate
- the arrival rate lamda for the poisson distribution used to simulate the arriving process of new casesmaxEventsInOneTrace
- in order to avoid running into infinite loops, there is this variable that sets an upper limit.policy
- the StochasticNet.ExecutionPolicy
of the network, i.e., how to select the next transition (preselection/race), and how to deal with transitions that lose a race.logName
- the name of the generated log.public boolean isDeterministicBoundedStateSpaceExploration()
public void setDeterministicBoundedStateSpaceExploration(boolean deterministicBoundedStateSpaceExploration)
public boolean isAllowUnbounded()
public void setAllowUnbounded(boolean allowUnbounded)
public void setSeed(long seed)
public void setSimulateTraceless(boolean simulateTraceLess)
public StochasticNet.ExecutionPolicy getExecutionPolicy()
public StochasticNet.TimeUnit getUnitFactor()
public void setQuantile(double quantile)
public double getQuantile()