Package jline.solvers.fluid.petri

Class PetriMode

java.lang.Object

jline.solvers.fluid.petri.PetriMode

public class PetriMode
extends Object

One transition mode as a reaction record: its input arcs and their weights, its inhibitor arcs and their thresholds, its incidence column, and the firing process that times it. Java twin of the modes struct array built by the MATLAB fluid_petri_terms.

Field Summary

Fields

Modifier and Type	Field	Description
List<Integer>	arcSlot	Marking coordinates this mode consumes from.
List<Double>	arcW	Multiplicity of each input arc, in the same order.
double	c	Server count; infinite for an unbounded mode.
boolean	closable	Whether the min() this mode takes is worth closing.
double[]	cvec	Incidence column over the whole state, post minus pre.
Matrix	D0
double[]	d1	Row sums of D1, i.e.
Matrix	D1
SerializableFunction<Matrix,Double>	dep	Marking-dependent firing multiplier, null when the mode declares none.
List<Integer>	inhSlot	Marking coordinates that inhibit this mode.
List<Double>	inhThr	Threshold of each inhibitor arc, in the same order.
String	label
int	mode	Mode index within that Transition.
int	node	Node index of the owning Transition.
int	nph	Number of phases of the firing process; 0 for an immediate mode.
double[]	pie	Entry distribution over the phases.
int	prio
TimingStrategy	timing
double	weight
int[]	zblk	State coordinates of the phase block, empty for a single-phase mode.

Constructor Summary

Constructors

Constructor	Description
PetriMode(int node, int mode, TimingStrategy timing, String label, int nm)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

node

public int node

Node index of the owning Transition.

mode

public int mode

Mode index within that Transition.

timing

public TimingStrategy timing

arcSlot

public List<Integer> arcSlot

Marking coordinates this mode consumes from.

arcW

public List<Double> arcW

Multiplicity of each input arc, in the same order.

inhSlot

public List<Integer> inhSlot

Marking coordinates that inhibit this mode.

inhThr

public List<Double> inhThr

Threshold of each inhibitor arc, in the same order.

c

public double c

Server count; infinite for an unbounded mode.

nph

public int nph

Number of phases of the firing process; 0 for an immediate mode.

D0

public Matrix D0

D1

public Matrix D1

d1

public double[] d1

Row sums of D1, i.e. the completion rate out of each phase.

pie

public double[] pie

Entry distribution over the phases.

dep

public SerializableFunction<Matrix,Double> dep

Marking-dependent firing multiplier, null when the mode declares none.

prio

public int prio

weight

public double weight

cvec

public double[] cvec

Incidence column over the whole state, post minus pre.

zblk

public int[] zblk

State coordinates of the phase block, empty for a single-phase mode.

closable

public boolean closable

Whether the min() this mode takes is worth closing. A mode whose enabling degree cannot reach its server count has min() exact on its whole support, so closing it is an error rather than an improvement -- exactly as a station that cannot fill its servers is held first order.

label

public String label

Constructor Details

PetriMode

public PetriMode(int node,
 int mode,
 TimingStrategy timing,
 String label,
 int nm)