Package org.oristool.models.stpn.trees

Class NewlyEnablingStateBuilder

java.lang.Object

org.oristool.models.stpn.trees.NewlyEnablingStateBuilder

All Implemented Interfaces:

StateBuilder<Marking>

public class NewlyEnablingStateBuilder
extends Object
implements StateBuilder<Marking>

State builder for stochastic time Petri nets, using standard regenerations.

Constructor Summary

Constructors

Constructor	Description
NewlyEnablingStateBuilder(PetriNet petriNet, boolean transientAnalysis)
NewlyEnablingStateBuilder(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(Marking marking)

Methods inherited from class java.lang.Object

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

Constructor Details

NewlyEnablingStateBuilder

public NewlyEnablingStateBuilder(PetriNet petriNet,
 boolean transientAnalysis)

NewlyEnablingStateBuilder

public NewlyEnablingStateBuilder(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 enabled sets

epsilon - allowed error when comparing states

numSamples - number of samples used when comparing states

Method Details

build

public State build(Marking marking)

Specified by:

build in interface StateBuilder<Marking>