Stochastic Petri nets (spn)

Product-form and linear-programming bounds for stochastic Petri nets. More...

Collaboration diagram for Stochastic Petri nets (spn):

Files
file	include/line/api/spn/spn_conv.h
	Convolution algorithm for the normalising constant of an S-invariant reachable product-form stochastic Petri net.
file	include/line/api/spn/spn_lpbnd.h
	Linear-programming bounds on the mean marking and the throughputs of a stochastic timed Petri net.
file	include/line/api/spn/spn_mdd.h
	Decision-diagram reachable set and Kronecker rate descriptor of a stochastic Petri net, so that mdd::mdd_mcd can analyse it.
file	include/line/api/spn/spn_metrics.h
	Stationary measures of a product-form stochastic Petri net from the MDD-rec masses.
file	include/line/api/spn/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.
file	include/line/api/spn/spn_rec_enabled.h
	Enabling-degree distribution of one mode of a product-form stochastic Petri net, by the masked MDD-rec recursion.
file	include/line/api/spn/spn_sinvariants.h
	Minimal-support S-invariants (P-invariants) of a stochastic Petri net, and the load vector V = S m0.

Detailed Description

Product-form and linear-programming bounds for stochastic Petri nets.