Package org.oristool.models.tpn

Class TimedAnalysis

java.lang.Object
org.oristool.models.tpn.TimedAnalysis
All Implemented Interfaces:
Engine<PetriNet,Marking,SuccessionGraph>
public abstract class TimedAnalysis extends Object implements Engine<PetriNet,Marking,SuccessionGraph>
State-class graph builder for time Petri nets.

  • Method Details

    • includeAge

      public abstract boolean includeAge()
      Returns whether or not this analysis adds Variable.AGE to the set of enabled variables.

      The age variable causes all state classes to include the possible values for the time of the last firing, which are encoded by the opposite of Variable.AGE.

      In most cases, this turns the state class graph in a tree.

      This property is false by default.

      Returns:
      whether the analysis includes the age variable

    • markRegenerations

      public abstract boolean markRegenerations()
      Returns whether or not this analysis adds the Regeneration property to states.

      All transitions must include a StochasticTransitionFeature.

      This property is false by default.

      Returns:
      whether the analysis finds regenerations

    • excludeZeroProb

      public abstract boolean excludeZeroProb()
      Returns whether or not this analysis excludes transition firings with zero probability.

      These are firings such that some transition has time-to-fire values [a,b] with b > a in the predecessor state class, and b == a in the successor state class.

      This property is false by default.

      Returns:
      whether the analysis excludes transitions with zero probability

    • policy

      public abstract Supplier<EnumerationPolicy> policy()
      Returns the supplier of enumeration policies used by this analysis.

      A new policy instance is generated for each run.

      By default, a FIFO policy is used.

      Returns:
      the supplier of state class expansion policies

    • stopOn

      public abstract Supplier<StopCriterion> stopOn()
      Returns the supplier of local stop criterion instances used by this analysis. It can be used to avoid the expansion of some state classes, as if their states were absorbing.

      A stop criterion instance is generated for each run.

      By default, an always-false local stop criterion is used.

      Returns:
      the supplier of local stop criterion

    • monitor

      public abstract AnalysisMonitor monitor()
      Returns the monitor used by this analysis. It is used to stop the analysis early and to notify messages to the user.

      By default, an always-false, message-discarding monitor is used.

      Returns:
      the monitor used by this analysis

    • logger

      public abstract AnalysisLogger logger()
      Returns the logger used by this analysis. It is used to print progress information.

      By default, logs are discarded.

      Returns:
      the logger used by this analysis

    • builder

      public static TimedAnalysis.Builder builder()
      Creates a builder for analysis configurations (with default values).
      Returns:
      a builder of TimedAnalysis instances.

    • compute

      public SuccessionGraph compute(PetriNet pn, Marking m)
      Runs this analysis on a given Petri net from an initial marking.
      Specified by:
      compute in interface Engine<PetriNet,Marking,SuccessionGraph>
      Parameters:
      pn - the input Petri net
      m - the initial marking
      Returns:
      a succession graph encoding the state class graph
      Throws:
      IllegalArgumentException - if the analysis is not applicable to the input Petri net

    • canAnalyze

      public boolean canAnalyze(PetriNet pn, ValidationMessageCollector c)
      Description copied from interface: Engine
      Checks if the analysis can be applied to the given model.

      Problems are collected in a ValidationMessageCollector.

      Specified by:
      canAnalyze in interface Engine<PetriNet,Marking,SuccessionGraph>
      Parameters:
      pn - input model (such as a Petri net)
      c - collector of error messages
      Returns:
      true if the analysis can be applied to the given model