Uses of Class
org.oristool.petrinet.Marking

Packages that use Marking

Package	Description
org.oristool.models.gspn	Analysis of GSPNs.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn	Analysis of STPNs.
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.
org.oristool.models.stpn.steady	Steady-state analysis of MRPs.
org.oristool.models.stpn.trans	Transient analysis of MRPs and GSMPs.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.
org.oristool.petrinet	Petri net representation.
org.oristool.simulator	Simulator framework.
org.oristool.simulator.stpn	Provides classes for the simulation of STPNs.

Uses of Marking in org.oristool.models.gspn

Methods in org.oristool.models.gspn that return types with arguments of type Marking

Modifier and Type	Method	Description
Map<Marking,Double>	GSPNSteadyState.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.
Pair<Map<Marking,Integer>,double[][]>	GSPNTransient.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

Methods in org.oristool.models.gspn with parameters of type Marking

Modifier and Type	Method	Description
Map<Marking,Double>	GSPNSteadyState.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.
Pair<Map<Marking,Integer>,double[][]>	GSPNTransient.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

Uses of Marking in org.oristool.models.gspn.reachability

Methods in org.oristool.models.gspn.reachability that return Marking

Modifier and Type	Method	Description
Marking	SPNState.state()

Methods in org.oristool.models.gspn.reachability with parameters of type Marking

Modifier and Type	Method	Description
DTMC<SPNState>	GSPNReachability.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

Constructors in org.oristool.models.gspn.reachability with parameters of type Marking

Modifier	Constructor	Description
	SPNState(Marking marking, double exitRate)	Creates a new instance with a given marking and exit rate.

Uses of Marking in org.oristool.models.pn

Methods in org.oristool.models.pn that return Marking

Modifier and Type	Method	Description
Marking	PetriStateFeature.getMarking()

Methods in org.oristool.models.pn with parameters of type Marking

Modifier and Type	Method	Description
static State	InitialPetriStateBuilder.computeInitialState(PetriNet petriNet, Marking initialMarking)
static State	InitialPetriStateBuilder.computeInitialState(PetriNet pn, Marking initialMarking, boolean checkNewlyEnabled)	Builds an initial State instance from a marking.
void	PetriStateFeature.setMarking(Marking marking)
void	MarkingUpdater.update(Marking m, PetriNet petriNet, Transition t)	Updates the input marking after the firing of the given transition.
void	PetriTokensAdder.update(Marking m, PetriNet petriNet, Transition t)	Adds tokens to each output place according to the multiplicity of the postcondition.
void	PetriTokensRemover.update(Marking m, PetriNet petriNet, Transition t)	Removes tokens from each input place according to the multiplicity of the precondition.
void	PostUpdater.update(Marking m, PetriNet petriNet, Transition t)
void	PlaceFlusher.updateMarking(Marking m)

Uses of Marking in org.oristool.models.stpn

Methods in org.oristool.models.stpn with parameters of type Marking

Modifier and Type	Method	Description
double	MarkingExpr.ConstantExpr.evaluate(Marking m)
double	MarkingExpr.evaluate(Marking m)
double	MarkingExpr.LelloExpr.evaluate(Marking m)
abstract double	RewardRate.evaluate(double time, Marking m)

Method parameters in org.oristool.models.stpn with type arguments of type Marking

Modifier and Type	Method	Description
static <R> TransientSolution<R,MarkingCondition>	TransientSolution.computeAggregateSolution(TransientSolution<R,Marking> solution, String markingConditions)	Aggregates the marking probabilities based on a predicate.
static <R> TransientSolution<R,MarkingCondition>	TransientSolution.computeAggregateSolution(TransientSolution<R,Marking> solution, R initialRegeneration, MarkingCondition... markingConditions)	Aggregates the marking probabilities based on a predicate.
static SteadyStateSolution<RewardRate>	SteadyStateSolution.computeRewards(SteadyStateSolution<Marking> solution, String rewardRates)	Computes rewards for a given solution.
static SteadyStateSolution<RewardRate>	SteadyStateSolution.computeRewards(SteadyStateSolution<Marking> solution, RewardRate... rewardRates)	Computes rewards for a given solution.
static <R> TransientSolution<R,RewardRate>	TransientSolution.computeRewards(boolean cumulative, TransientSolution<R,Marking> solution, String rewardRates)	Computes rewards from a transient solution (only for the first initial state).
static <R> TransientSolution<R,RewardRate>	TransientSolution.computeRewards(boolean cumulative, TransientSolution<R,Marking> solution, RewardRate... rewardRates)	Computes rewards from a transient solution (only for the first initial state).

Uses of Marking in org.oristool.models.stpn.onegen

Methods in org.oristool.models.stpn.onegen that return types with arguments of type Marking

Modifier and Type	Method	Description
TransientSolution<DeterministicEnablingState,Marking>	OneGenTransient.compute(PetriNet pn, Marking m)

Methods in org.oristool.models.stpn.onegen with parameters of type Marking

Modifier and Type	Method	Description
TransientSolution<DeterministicEnablingState,Marking>	OneGenTransient.compute(PetriNet pn, Marking m)

Uses of Marking in org.oristool.models.stpn.steady

Methods in org.oristool.models.stpn.steady that return types with arguments of type Marking

Modifier and Type	Method	Description
SteadyStateSolution<Marking>	RegSteadyState.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

Methods in org.oristool.models.stpn.steady with parameters of type Marking

Modifier and Type	Method	Description
SteadyStateSolution<Marking>	RegSteadyState.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

Uses of Marking in org.oristool.models.stpn.trans

Methods in org.oristool.models.stpn.trans that return types with arguments of type Marking

Modifier and Type	Method	Description
TransientSolution<DeterministicEnablingState,Marking>	RegTransient.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.
TransientSolution<Marking,Marking>	TreeTransient.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.
TransientSolution<Marking,Marking>	TreeTransient.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

Methods in org.oristool.models.stpn.trans with parameters of type Marking

Modifier and Type	Method	Description
TransientSolution<DeterministicEnablingState,Marking>	RegTransient.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.
TransientSolution<Marking,Marking>	TreeTransient.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

Uses of Marking in org.oristool.models.stpn.trees

Methods in org.oristool.models.stpn.trees that return Marking

Modifier and Type	Method	Description
Marking	DeterministicEnablingState.getMarking()

Methods in org.oristool.models.stpn.trees with parameters of type Marking

Modifier and Type	Method	Description
State	NewlyEnablingStateBuilder.build(Marking marking)
static Map<Transition,Double>	StochasticTransitionFeature.weightProbs(Collection<Transition> transitions, Marking marking)	Computes the discrete distribution determined by weights.

Constructors in org.oristool.models.stpn.trees with parameters of type Marking

Modifier	Constructor	Description
	DeterministicEnablingState(Marking marking, Map<Variable,BigDecimal> enablingTimes)	Builds an instance from the given marking and map of enabling times.
	DeterministicEnablingState(Marking marking, Set<Transition> enabledTransitions)	Builds an object encoding the deterministic enabling state of non-exponential transitions.
	DeterministicEnablingState(Marking marking, PetriNet petriNet)	Builds an object encoding the deterministic enabling state of non-exponential transitions.

Uses of Marking in org.oristool.models.tpn

Methods in org.oristool.models.tpn with parameters of type Marking

Modifier and Type	Method	Description
State	TimedComponentsFactory.buildInitialState(PetriNet pn, Marking initialMarking)	Builds an initial State instance from a marking.
SuccessionGraph	TimedAnalysis.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.
State	InitialTimedStateBuilder.computeInitialState(PetriNet pn, Marking initialMarking)	Builds an initial State instance from a marking.

Uses of Marking in org.oristool.petrinet

Methods in org.oristool.petrinet with parameters of type Marking

Modifier and Type	Method	Description
boolean	Marking.containsSubMarking(Marking subMarking)	Checks whether this marking contains the same token counts for a subset of places.
abstract boolean	MarkingCondition.evaluate(Marking m)	Checks whether the input marking satisfies the predicate encoded by this marking condition.
Set<Transition>	PetriNet.getEnabledTransitions(Marking marking)	Returns the set of transitions enabled by a given marking.
static final MarkingCondition	MarkingCondition.getMarkingMatcherInstance(Marking... givenMarkings)	Builds a marking condition that matches only one of the input markings.
static final MarkingCondition	MarkingCondition.getSubMarkingMatcherInstance(Marking subMarking)	Builds a marking condition that matches those markings that include the same token counts for a subset of places.
boolean	PetriNet.isEnabled(Transition t, Marking m)	Checks if a transition is enabled by a marking.
void	Marking.setTokensFrom(Marking m)	Resets this marking to the token counts of the input one.

Constructors in org.oristool.petrinet with parameters of type Marking

Modifier	Constructor	Description
	Marking(Marking m)	Builds the copy of a marking.

Uses of Marking in org.oristool.simulator

Methods in org.oristool.simulator that return Marking

Modifier and Type	Method	Description
Marking	Sequencer.getInitialMarking()

Methods in org.oristool.simulator that return types with arguments of type Marking

Modifier and Type	Method	Description
Collection<Marking>	TimeSeriesRewardResult.getMarkings()

Methods in org.oristool.simulator with parameters of type Marking

Modifier and Type	Method	Description
BigDecimal[]	TimeSeriesRewardResult.addTimeSeries(Marking m, BigDecimal[] timeSeries)
State	SimulatorInitialStateBuilder.build(PetriNet petriNet, Marking initialMarking)
BigDecimal[]	TimeSeriesRewardResult.getTimeSeries(Marking m)

Constructors in org.oristool.simulator with parameters of type Marking

Modifier	Constructor	Description
	Sequencer(PetriNet net, Marking initialMarking, SimulatorComponentsFactory<PetriNet,Transition> componentsFactory, AnalysisLogger logger)	Builds a new instance for a given Petri net and initial marking.

Uses of Marking in org.oristool.simulator.stpn

Methods in org.oristool.simulator.stpn with parameters of type Marking

Modifier and Type	Method	Description
State	SimulatorSTPNInitialStateBuilder.build(PetriNet petriNet, Marking initialMarking)

Constructors in org.oristool.simulator.stpn with parameters of type Marking

Modifier	Constructor	Description
	SteadyStateMarkingProbability(Sequencer sequencer, RewardTime rewardTime, int samples, Marking marking)	Builds a new instance for a given marking, time abstraction, number of time ticks.
	TransientMarkingProbability(Sequencer sequencer, RewardTime rewardTime, int samples, Marking marking)	Builds a new instance for the given marking.