Uses of Interface
org.oristool.models.pn.MarkingUpdater

Packages that use MarkingUpdater

Package	Description
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.

Uses of MarkingUpdater in org.oristool.models.pn

Classes in org.oristool.models.pn that implement MarkingUpdater

Modifier and Type	Class	Description
final class	PetriTokensAdder	A simple strategy adding tokens to each output place.
final class	PetriTokensRemover	A simple strategy remove tokens from each input place.
final class	PostUpdater	Transition feature updating the marking after token additions/removals of a firing.

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

Modifier	Constructor	Description
	PetriComponentsFactory(MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy)	Builds a factor from a set of input objects.
	PetriSuccessionEvaluator(MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled)	Builds a succession evaluator with a given token remover and adder.

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

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

Modifier	Constructor	Description
	RegenerativeComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, SuccessionProcessor postProcessor, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, StopCriterion stopCriterion, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	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, StopCriterion stopCriterion, 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.
	StochasticSuccessionEvaluator(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, OmegaBigDecimal tauAgeLimit)	Builds a succession evaluator with a given token remover and adder.

Uses of MarkingUpdater in org.oristool.models.tpn

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

Modifier	Constructor	Description
	TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, StopCriterion stopCondition, AnalysisMonitor monitor, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder)	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.
	TimedSuccessionEvaluator(MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, boolean excludeZeroProb)	Builds a succession evaluator with a given token remover and adder.