Uses of Class
org.oristool.petrinet.MarkingCondition

Packages that use MarkingCondition

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.stpn	Provides classes for the simulation of STPNs.

Uses of MarkingCondition in org.oristool.models.gspn

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

Modifier and Type	Method	Description
GSPNSteadyState.Builder	GSPNSteadyState.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.
GSPNTransient.Builder	GSPNTransient.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.

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

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

Modifier and Type	Method	Description
GSPNReachability.Builder	GSPNReachability.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.

Uses of MarkingCondition in org.oristool.models.pn

Constructors in org.oristool.models.pn with parameters of type MarkingCondition

Modifier	Constructor	Description
	MarkingConditionStopCriterion(MarkingCondition mc)

Uses of MarkingCondition in org.oristool.models.stpn

Methods in org.oristool.models.stpn that return MarkingCondition

Modifier and Type	Method	Description
static final MarkingCondition	RewardRate.nonZero(double time, RewardRate[] rewardRates)	Builds a marking condition that matches markings with nonzero reward.

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

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.

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

Modifier and Type	Method	Description
static <R> TransientSolution<R,MarkingCondition>	TransientSolution.computeAggregateSolution(TransientSolution<R,Marking> solution, R initialRegeneration, MarkingCondition... markingConditions)	Aggregates the marking probabilities based on a predicate.

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

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

Modifier and Type	Method	Description
OneGenTransient.Builder	OneGenTransient.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.

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

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

Modifier and Type	Method	Description
RegSteadyState.Builder	RegSteadyState.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.

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

Methods in org.oristool.models.stpn.trans that return MarkingCondition

Modifier and Type	Method	Description
abstract MarkingCondition	RegTransient.markingFilter()	Returns the predicate used to select markings for which transient probabilities are computed by this analysis.
abstract MarkingCondition	TreeTransient.markingFilter()	Returns the predicate used to select markings for which transient probabilities are computed by this analysis.

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

Modifier and Type	Method	Description
abstract RegTransient.Builder	RegTransient.Builder.markingFilter(MarkingCondition value)	Uses a marking condition to select markings for which transient probabilities are computed by this analysis.
abstract TreeTransient.Builder	TreeTransient.Builder.markingFilter(MarkingCondition value)	Uses a marking condition to select markings for which transient probabilities are computed by this analysis.
RegTransient.Builder	RegTransient.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.
TreeTransient.Builder	TreeTransient.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.

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

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

Modifier	Constructor	Description
	RegenerativeComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, SuccessionProcessor postProcessor, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, MarkingCondition stopCondition, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	StochasticComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, MarkingCondition stopCondition, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.

Uses of MarkingCondition in org.oristool.models.tpn

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

Modifier and Type	Method	Description
TimedAnalysis.Builder	TimedAnalysis.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.

Constructors in org.oristool.models.tpn with parameters of type MarkingCondition

Modifier	Constructor	Description
	TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, MarkingCondition stopCondition, AnalysisMonitor monitor)	Builds a factory for TPN analysis.
	TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, MarkingCondition stopCondition, AnalysisMonitor monitor, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder)	Builds a factory for TPN analysis.

Uses of MarkingCondition in org.oristool.petrinet

Fields in org.oristool.petrinet declared as MarkingCondition

Modifier and Type	Field	Description
static final MarkingCondition	MarkingCondition.ANY
static final MarkingCondition	MarkingCondition.NONE

Methods in org.oristool.petrinet that return MarkingCondition

Modifier and Type	Method	Description
static MarkingCondition	MarkingCondition.fromString(String expression)	Parses a marking condition from a string.
MarkingCondition	EnablingFunction.getMarkingCondition()	Returns the marking condition.
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.

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

Modifier	Constructor	Description
	EnablingFunction(MarkingCondition markingCondition)

Uses of MarkingCondition in org.oristool.simulator.stpn

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

Modifier	Constructor	Description
	TransientMarkingConditionProbability(Sequencer sequencer, RewardTime rewardTime, int samples, MarkingCondition markingCondition)	Builds an instance for a given marking condition and number of time ticks.