spn Directory Reference

Directory dependency graph for spn:

Files
	spn_conv.h
	Convolution algorithm for the normalising constant of an S-invariant reachable product-form stochastic Petri net.
	spn_lpbnd.h
	Linear-programming bounds on the mean marking and the throughputs of a stochastic timed Petri net.
	spn_mdd.h
	Decision-diagram reachable set and Kronecker rate descriptor of a stochastic Petri net, so that mdd::mdd_mcd can analyse it.
	spn_metrics.h
	Stationary measures of a product-form stochastic Petri net from the MDD-rec masses.
	spn_pf.h
	Product form of a stochastic Petri net: decide whether one exists and derive the per-level factors g_l that mdd_rec and spn_metrics take as input.
	spn_rec_enabled.h
	Enabling-degree distribution of one mode of a product-form stochastic Petri net, by the masked MDD-rec recursion.
	spn_sinvariants.h
	Minimal-support S-invariants (P-invariants) of a stochastic Petri net, and the load vector V = S m0.