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

Packages that use Spn_pf.SpnPfOptions

Package	Description
jline.api.spn	Stochastic Petri net analysis.

Uses of Spn_pf.SpnPfOptions in jline.api.spn

Methods in jline.api.spn with parameters of type Spn_pf.SpnPfOptions

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