Class SPNState

java.lang.Object
org.oristool.models.gspn.reachability.SPNState
All Implemented Interfaces:
StateFeature, CTMCState<Marking>, Feature

public final class SPNState extends Object implements StateFeature, CTMCState<Marking>
A GSPN state, including a sojourn rate and a marking.

Only the marking is used in object comparisons. As a consequence, when this class is used as node of a graph, there exists at most one edge between two markings.

A rate equal to Double.POSITIVE_INFINITY is used for vanishing states (where immediate transitions are enabled).

  • Constructor Details

    • SPNState

      public SPNState(Marking marking, double exitRate)
      Creates a new instance with a given marking and exit rate.
      Parameters:
      marking - marking of this state
      exitRate - total exit rate
  • Method Details