Uses of Package
jline.api.spn
Packages that use jline.api.spn
Package
Description
Stochastic Petri net analysis.
Analyzers for SolverCTMC.
Analyzers for SolverMAM.
This package provides an implementation of SolverNC.
-
Classes in jline.api.spn used by jline.api.spnClassDescriptionResult of
Spn_ispn.spn_ispn(double[][], double[][], double[][], double[], boolean[], double[], double[], int); fields as in the MATLAB help.The brackets, each a 2 x n array with row 0 the minimum.One (transition, mode) pair over place-major levels.Options of the relaxation.Everything the caller needs alongside the descriptor.One (transition, mode) pair of the net, in level coordinates.Options of the translation.Descriptor, diagram and metadata returned together.The stationary measures of Sec.Options of the product-form derivation.The product form, and the certificate that it is one.All the properties.The reachability graph.The behavioural verdicts.Unnormalised enabling-degree masses of one mode.The invariant basis of a net, in place-level coordinates.The minimal siphons, in level coordinates.The structural verdicts.The T-invariant basis of a net, in event coordinates.The minimal traps, in level coordinates. -
Classes in jline.api.spn used by jline.solvers.ctmc.analyzers
-
Classes in jline.api.spn used by jline.solvers.mam.analyzersClassDescriptionResult of
Spn_ispn.spn_ispn(double[][], double[][], double[][], double[], boolean[], double[], double[], int); fields as in the MATLAB help. -
Classes in jline.api.spn used by jline.solvers.nc