Package jline.solvers.fluid.petri

Class PetriConstraints

java.lang.Object
jline.solvers.fluid.petri.PetriConstraints
public final class PetriConstraints extends Object
Every finite place capacity as a linear row A x <= b.

THE GATE IS A LOSS ON THE DEPOSIT: LINE loses the tokens a firing would push past a place's capacity, so the fluid analogue scales the DEPOSIT leg of every event adding mass to the capped place and leaves the removal leg alone. The rows here name which coordinates are capped; the scaling itself lives in the tangent clamp.

  • Field Details

    • A

      public Matrix A
      (nrows x nstate) capacity rows.

    • b

      public double[] b
      The bound of each row.

    • label

      public List<String> label
      One human-readable statement per row, for the report.

    • cover

      public boolean[][] cover
      cover[r][s] is true where row r caps coordinate s.

  • Method Details

    • constraints

      public static PetriConstraints constraints(NetworkStruct sn, PetriTerms t)
      Build the capacity rows of a term set.
      Parameters:
      sn - the network the places belong to
      t - the assembled terms
      Returns:
      the rows and their bounds