Uses of Interface
org.oristool.models.stpn.MarkingExpr
Package
Description
Analysis of STPNs.
Calculus of stochastic state classes.
-
Uses of MarkingExpr in org.oristool.models.stpn
Modifier and TypeClassDescriptionstatic class
static class
Modifier and TypeFieldDescriptionstatic final MarkingExpr
MarkingExpr.ONE
static final MarkingExpr
MarkingExpr.ZERO
Modifier 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
Modifier and TypeMethodDescriptionStochasticTransitionFeature.clockRate()
Returns the rate used to decrease the firing time of this transitions.StochasticTransitionFeature.weight()
Returns the weight this instance.Modifier 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)