Package jline.solvers.fluid.petri

Class PetriConservation

java.lang.Object

jline.solvers.fluid.petri.PetriConservation

public final class PetriConservation
extends Object

The conserved quantities, as equations: u'D = 0 implies u'x is constant.

On the marking coordinates those u are the net's P-invariants; on a mode's phase block the all-ones vector is one of them, which is the statement that the phase coordinates are a distribution. Both come out of the SAME null space, so the phase normalisation needs no separate row.

AN OPEN NET LOSES THE ROWS ITS ARRIVALS BREAK, automatically: the arrival columns are part of D, so a u an arrival moves is not in the null space and never appears here.

Field Summary

Fields

Modifier and Type	Field	Description
Matrix	C	(nrows x nstate) conservation rows.
List<String>	label	One human-readable statement per row, for the report.
double	leak	max|C D|: how far the rows fail to be invariants, and zero when they are.
double[]	N	The value each row holds, evaluated at the initial marking.

Method Summary

Modifier and Type	Method	Description
static PetriConservation	conservation(PetriTerms t)	Build the conservation rows of a term set.

Methods inherited from class java.lang.Object

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

Field Details

C

public Matrix C

(nrows x nstate) conservation rows.

N

public double[] N

The value each row holds, evaluated at the initial marking.

leak

public double leak

max|C D|: how far the rows fail to be invariants, and zero when they are.

label

public List<String> label

One human-readable statement per row, for the report.

Method Details

conservation

public static PetriConservation conservation(PetriTerms t)

Build the conservation rows of a term set.

Parameters:

t - the assembled terms

Returns:

the rows, their values and their residual leak