public final class InitialPetriStateBuilder extends Object
|Modifier and Type||Method||Description|
Builds an initial
public static State computeInitialState(PetriNet pn, Marking initialMarking, boolean checkNewlyEnabled)
Stateinstance from a marking.
The state includes only a
checkNewlyEnabled is true, the
distinguish states with the same marking but different sets of newly enabled
pn- Petri net associated with the marking
initialMarking- initial marking
checkNewlyEnabled- whether to compare the set of newly enabled transitions of two states
Copyright © 2018 STLAB. All rights reserved.