public final class InitialTimedStateBuilder extends Object
Creates a state builder for time Petri nets.
|Modifier and Type||Method||Description|
Builds an initial
public InitialTimedStateBuilder(boolean transientAnalysis, boolean checkNewlyEnabled)
checkNewlyEnabled is true, the
distinguish states with the same marking but different sets of newly enabled
transientAnalysis- whether the state should include
checkNewlyEnabled- whether to compare the sets of newly enabled transitions of states
Stateinstance from a marking.
The state includes a
PetriStateFeature and a
pn- Petri net associated with the marking
initialMarking- initial marking
Copyright © 2018 STLAB. All rights reserved.