Package org.oristool.models.stpn.trees

Class DeterministicEnablingStateBuilder

java.lang.Object

org.oristool.models.stpn.trees.DeterministicEnablingStateBuilder

All Implemented Interfaces:

StateBuilder<DeterministicEnablingState>

public final class DeterministicEnablingStateBuilder
extends Object
implements StateBuilder<DeterministicEnablingState>

State builder for stochastic time Petri nets.

Constructor Summary

Constructors

Constructor	Description
DeterministicEnablingStateBuilder(PetriNet petriNet, boolean transientAnalysis)
DeterministicEnablingStateBuilder(PetriNet petriNet, boolean transientAnalysis, boolean checkNewlyEnabled, BigDecimal epsilon, int numSamples)	Configures a state builder for STPNs.

Method Summary

Modifier and Type	Method	Description
State	build(DeterministicEnablingState s)	Builds an initial State instance from a DeterministicEnablingState.

Methods inherited from class java.lang.Object

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

Constructor Details

DeterministicEnablingStateBuilder

public DeterministicEnablingStateBuilder(PetriNet petriNet,
 boolean transientAnalysis)

DeterministicEnablingStateBuilder

public DeterministicEnablingStateBuilder(PetriNet petriNet,
 boolean transientAnalysis,
 boolean checkNewlyEnabled,
 BigDecimal epsilon,
 int numSamples)

Configures a state builder for STPNs.

Parameters:

petriNet - Petri net

transientAnalysis - whether the state should include Variable.AGE

checkNewlyEnabled - whether to compare the sets of newly enabled transitions of states

epsilon - allowed error when comparing states

numSamples - number of samples used when comparing states

Method Details

build

public State build(DeterministicEnablingState s)

Builds an initial State instance from a DeterministicEnablingState.

The state includes a PetriStateFeature and StochasticStateFeature.

Specified by:

build in interface StateBuilder<DeterministicEnablingState>

Parameters:

s - a deterministic enabling state

Returns:

a state instance