Uses of Class
jline.api.spn.Spn_pf.SpnPfResult

Packages that use Spn_pf.SpnPfResult

Package	Description
jline.api.spn	Stochastic Petri net analysis.
jline.solvers.nc	This package provides an implementation of SolverNC.

Uses of Spn_pf.SpnPfResult in jline.api.spn

Methods in jline.api.spn that return Spn_pf.SpnPfResult

Modifier and Type	Method	Description
static Spn_pf.SpnPfResult	Spn_pf.spn_pf(Network model)	Derive the product form with the default options.
static Spn_pf.SpnPfResult	Spn_pf.spn_pf(Network model, Spn_pf.SpnPfOptions options)	Derive the product form of a stochastic Petri net.

Uses of Spn_pf.SpnPfResult in jline.solvers.nc

Fields in jline.solvers.nc declared as Spn_pf.SpnPfResult

Modifier and Type	Field	Description
Spn_pf.SpnPfResult	NCResult.spnpf	Product-form certificate of a Petri net, set by Solver_nc_spn_analyzer.