Package org.oristool.petrinet

Class EnablingFunction

java.lang.Object
org.oristool.petrinet.EnablingFunction
All Implemented Interfaces:
TransitionFeature, Feature
public final class EnablingFunction extends Object implements TransitionFeature
The enabling function of a transition.

The transition will be enabled only if:

  • input places contain at least the number of tokens required by their precondition arcs;
  • inhibitor places contain fewer tokens than those required to activate their inhibitor arcs;
  • the enabling function evaluates to true.

This class implements the interface TransitionFeature to be added dynamically as feature to any Transition.

  • Constructor Details

    • EnablingFunction

      public EnablingFunction(MarkingCondition markingCondition)

    • EnablingFunction

      public EnablingFunction(String condition)

    • EnablingFunction

      public EnablingFunction(EnablingFunction other)
      Creates a copy the input instance.
      Parameters:
      other - input instance

  • Method Details

    • getMarkingCondition

      public MarkingCondition getMarkingCondition()
      Returns the marking condition.
      Returns:
      the marking condition

    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • toString

      public String toString()
      Overrides:
      toString in class Object