sn_fluid_refusal.h File Reference

Port of matlab/src/api/sn/sn_fluid_refusal.m. More...

#include <cmath>
#include <cstddef>
#include <string>
#include <vector>
#include "line/lang/qn/network_struct.h"
#include "line/num/number.h"

Include dependency graph for sn_fluid_refusal.h:

Go to the source code of this file.

Classes
struct	line::api::SnFluidVerdict
	The verdict of sn_fluid_refusal: ok when no rule is broken, else the reason. More...

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

Functions
template<class T>
SnFluidVerdict	line::api::sn_fluid_refusal (const qn::NetworkStruct< T > &sn)
	Whether the net breaks a structural rule of an FSPN.

Detailed Description

Port of matlab/src/api/sn/sn_fluid_refusal.m.

The structural rules of a Fluid Stochastic Petri Net, shared by every solver that declares FluidPlace. A fluid place holds a level, not tokens, so a token arc on it, an initial token marking or a Source routed into it is refused; a fluid arc must name a fluid place; an immediate mode carries no flow, since it runs for zero time; and only an exponential clock can be re-timed by a level.

Definition in file sn_fluid_refusal.h.