spn_tinvariants.h File Reference

Minimal-support T-invariants of a stochastic Petri net (Murata 1989, sec. More...

#include <cstddef>
#include <vector>
#include "line/api/spn/spn_net.h"

Include dependency graph for spn_tinvariants.h:

Go to the source code of this file.

Classes
struct	line::spn::SpnTInvariants

Namespaces
namespace	line
	Conservation laws of a layered queueing network, enumerated from its structure.
namespace	line::spn

Functions
template<class T>
SpnTInvariants	line::spn::spn_tinvariants (const qn::NetworkStruct< T > &sn)

Detailed Description

Minimal-support T-invariants of a stochastic Petri net (Murata 1989, sec.

V; Haverkort 1998, sec. 14.2): the non-negative integer firing-count vectors x with C x = 0, by the same Farkas elimination as spn_sinvariants run on C'. Each row of X is a firing-count vector over the (transition, mode) events. A T-invariant is a structural property: inhibitor arcs, priorities and the timed/immediate split do not enter C and are ignored. MATLAB twin: matlab/src/api/spn/spn_tinvariants.m.

Definition in file spn_tinvariants.h.