Uses of Interface
org.oristool.models.stpn.MarkingExpr
Packages that use MarkingExpr
Package
Description
Analysis of STPNs.
Calculus of stochastic state classes.
-
Uses of MarkingExpr in org.oristool.models.stpn
Classes in org.oristool.models.stpn that implement MarkingExprModifier and TypeClassDescriptionstatic class
static class
Fields in org.oristool.models.stpn declared as MarkingExprModifier and TypeFieldDescriptionstatic final MarkingExpr
MarkingExpr.ONE
static final MarkingExpr
MarkingExpr.ZERO
Methods in org.oristool.models.stpn that return MarkingExprModifier and TypeMethodDescriptionstatic MarkingExpr
Creates a marking expression from a string.static MarkingExpr
MarkingExpr.of
(double value) Creates a constant marking expression. -
Uses of MarkingExpr in org.oristool.models.stpn.trees
Methods in org.oristool.models.stpn.trees that return MarkingExprModifier and TypeMethodDescriptionStochasticTransitionFeature.clockRate()
Returns the rate used to decrease the firing time of this transitions.StochasticTransitionFeature.weight()
Returns the weight this instance.Methods in org.oristool.models.stpn.trees with parameters of type MarkingExprModifier and TypeMethodDescriptionstatic StochasticTransitionFeature
StochasticTransitionFeature.newDeterministicInstance
(BigDecimal value, MarkingExpr weight) Builds the stochastic feature of a transition with deterministic timer.static StochasticTransitionFeature
StochasticTransitionFeature.newDeterministicInstance
(BigDecimal value, MarkingExpr weight, MarkingExpr clockRate) Builds the stochastic feature of a transition with deterministic timer.static StochasticTransitionFeature
StochasticTransitionFeature.newErlangInstance
(int k, BigDecimal rate, MarkingExpr clockRate, MarkingExpr weight) Builds the stochastic feature of a transition with Erlang distributed timer.static StochasticTransitionFeature
StochasticTransitionFeature.newExponentialInstance
(BigDecimal expRate, MarkingExpr clockRate) Builds the stochastic feature of a transition with exponentially distributed timer and variable rate.static StochasticTransitionFeature
StochasticTransitionFeature.newExponentialInstance
(BigDecimal expRate, MarkingExpr clockRate, MarkingExpr weight) Builds the stochastic feature of a transition with exponentially distributed timer and variable rate.static StochasticTransitionFeature
StochasticTransitionFeature.newUniformInstance
(BigDecimal eft, BigDecimal lft, MarkingExpr clockRate) Builds the stochastic feature of a transition with uniformly distributed timer.static StochasticTransitionFeature
StochasticTransitionFeature.of
(PartitionedFunction density, MarkingExpr weight, MarkingExpr rate)