spn_net.h File Reference

Shared net model of the Petri-net property functions (spn_tinvariants, spn_siphons, spn_traps, spn_structprops, spn_reachgraph, spn_reachprops, spn_properties): the level-by-event arc matrices, the initial marking, Farkas' algorithm, the siphon enumeration and the GSPN firing rule. More...

#include <algorithm>
#include <cmath>
#include <cstddef>
#include <limits>
#include <map>
#include <string>
#include <vector>
#include "line/api/spn/spn_sinvariants.h"
#include "line/lang/lang_types.h"
#include "line/lang/qn/network_struct.h"
#include "line/num/number.h"
#include "line/util/error.h"
#include "line/util/matrix.h"

Include dependency graph for spn_net.h:

Go to the source code of this file.

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

Detailed Description

Shared net model of the Petri-net property functions (spn_tinvariants, spn_siphons, spn_traps, spn_structprops, spn_reachgraph, spn_reachprops, spn_properties): the level-by-event arc matrices, the initial marking, Farkas' algorithm, the siphon enumeration and the GSPN firing rule.

The MATLAB twin is matlab/src/api/spn/private/.

Levels are the (place, class) pairs of spn_sinvariants, place-major (pp * R + k, 0-based); events are the (transition, mode) pairs in node order. Per event, pre = max(0, enabling), post = max(0, firing) and the inhibitor threshold is inhibiting (infinite: no arc).

Definition in file spn_net.h.