One firing mode of one transition, with its arcs and its firing process. More...

#include <line/solvers/fluid/fluid_petri_terms.h>

Collaboration diagram for line::fluid::petri::PetriMode:

Public Attributes
std::size_t	node = 0
	1-based node index of the transition
std::size_t	mode = 0
	mode index within it, 0-based
lang::TimingStrategy	timing = lang::TimingStrategy::TIMED
std::string	label
std::vector< std::size_t >	arc_slot
	Input arcs, as state coordinates and their multiplicities.
std::vector< double >	arc_w
std::vector< std::size_t >	inh_slot
	Inhibitor arcs, as state coordinates and their thresholds.
std::vector< double >	inh_thr
double	c = 1.0
	servers of this mode; infinite for none
std::size_t	nph = 1
	phases of the firing process; 0 for an immediate mode
Matrix< double >	D0
Matrix< double >	D1
std::vector< double >	d1
	row sums of D1, the completion rate out of each phase
std::vector< double >	pie
	entry distribution over the phases
std::function< double(const Matrix< double > &)>	dep
	Marking-dependent firing multiplier; empty for the unit one.
int	prio = 1
double	weight = 1.0
std::vector< double >	cvec
	The mode's incidence column, over the whole state.
std::vector< std::size_t >	zblk
	The phase coordinates of a multi-phase mode; empty otherwise.
bool	closable = false
	Whether the enabling degree is worth closing over.

Detailed Description

One firing mode of one transition, with its arcs and its firing process.

Definition at line 74 of file fluid_petri_terms.h.

Member Data Documentation

◆ arc_slot

std::vector<std::size_t> line::fluid::petri::PetriMode::arc_slot

Input arcs, as state coordinates and their multiplicities.

Definition at line 81 of file fluid_petri_terms.h.

Referenced by line::fluid::petri::petri_build_terms(), line::fluid::petri::petri_immediate(), line::fluid::petri::petri_theta(), and line::fluid::petri::solver_fluid_petri().

◆ arc_w

std::vector<double> line::fluid::petri::PetriMode::arc_w

Definition at line 82 of file fluid_petri_terms.h.

Referenced by line::fluid::petri::petri_build_terms(), line::fluid::petri::petri_immediate(), and line::fluid::petri::petri_theta().

◆ c

double line::fluid::petri::PetriMode::c = 1.0

servers of this mode; infinite for none

Definition at line 87 of file fluid_petri_terms.h.

Referenced by line::fluid::petri::petri_build_terms(), and line::fluid::petri::petri_theta().

◆ closable

bool line::fluid::petri::PetriMode::closable = false

Whether the enabling degree is worth closing over.

A single input arc under an infinite server count makes min() the identity, so the closure would smooth nothing and the covariance entries it reads would be carried for no reason.

Definition at line 107 of file fluid_petri_terms.h.

Referenced by line::fluid::petri::petri_build_terms(), and line::fluid::petri::petri_theta().