Package org.oristool.models.tpn

Class InitialTimedStateBuilder

java.lang.Object

org.oristool.models.tpn.InitialTimedStateBuilder

public final class InitialTimedStateBuilder
extends Object

State builder for time Petri nets.

Constructor Summary

Constructors

Constructor	Description
InitialTimedStateBuilder(boolean transientAnalysis, boolean checkNewlyEnabled)	Creates a state builder for time Petri nets.

Method Summary

Modifier and Type	Method	Description
State	computeInitialState(PetriNet pn, Marking initialMarking)	Builds an initial State instance from a marking.

Methods inherited from class java.lang.Object

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

Constructor Details

InitialTimedStateBuilder

public InitialTimedStateBuilder(boolean transientAnalysis,
 boolean checkNewlyEnabled)

Creates a state builder for time Petri nets.

When checkNewlyEnabled is true, the PetriStateFeature will distinguish states with the same marking but different sets of newly enabled transitions.

Parameters:

transientAnalysis - whether the state should include Variable.AGE

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

Method Details

computeInitialState

public State computeInitialState(PetriNet pn,
 Marking initialMarking)

Builds an initial State instance from a marking.

The state includes a PetriStateFeature and a TimedStateFeature.

Parameters:

pn - Petri net associated with the marking

initialMarking - initial marking

Returns:

a state instance with PetriStateFeature and TimedStateFeature