Package org.oristool.models.pn

Class InitialPetriStateBuilder

java.lang.Object

org.oristool.models.pn.InitialPetriStateBuilder

public final class InitialPetriStateBuilder
extends Object

State builder for Petri nets.

Constructor Summary

Constructors

Constructor	Description
InitialPetriStateBuilder()

Method Summary

Modifier and Type	Method	Description
static State	computeInitialState(PetriNet petriNet, Marking initialMarking)
static State	computeInitialState(PetriNet pn, Marking initialMarking, boolean checkNewlyEnabled)	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

InitialPetriStateBuilder

public InitialPetriStateBuilder()

Method Details

computeInitialState

public static State computeInitialState(PetriNet petriNet,
 Marking initialMarking)

computeInitialState

public static State computeInitialState(PetriNet pn,
 Marking initialMarking,
 boolean checkNewlyEnabled)

Builds an initial State instance from a marking.

The state includes only a PetriStateFeature.

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

Parameters:

pn - Petri net associated with the marking

initialMarking - initial marking

checkNewlyEnabled - whether to compare the set of newly enabled transitions of two states

Returns:

a state instance with a PetriStateFeature