Package org.oristool.models.pn

Class PetriStateFeature

java.lang.Object
org.oristool.models.pn.PetriStateFeature
All Implemented Interfaces:
StateFeature, Feature
public final class PetriStateFeature extends Object implements StateFeature
A feature collecting state information of a Petri net.

The feature includes a marking and the set of enabled, disabled, persistent and newly-enabled transitions.

  • Constructor Details

    • PetriStateFeature

      public PetriStateFeature()
      Builds an empty state feature.

    • PetriStateFeature

      public PetriStateFeature(PetriStateFeature other)
      Builds a deep copy of an input state feature.
      Parameters:
      other - another state feature

  • Method Details

    • checkNewlyEnabled

      public boolean checkNewlyEnabled()

    • setCheckNewlyEnabled

      public void setCheckNewlyEnabled(boolean checkNewlyEnabled)

    • getMarking

      public Marking getMarking()

    • setMarking

      public void setMarking(Marking marking)

    • getDisabled

      public Set<Transition> getDisabled()

    • setDisabled

      public void setDisabled(Set<Transition> disabled)

    • getPersistent

      public Set<Transition> getPersistent()

    • setPersistent

      public void setPersistent(Set<Transition> persistent)

    • getNewlyEnabled

      public Set<Transition> getNewlyEnabled()

    • setNewlyEnabled

      public void setNewlyEnabled(Set<Transition> newlyEnabled)

    • getEnabled

      public Set<Transition> getEnabled()

    • setEnabled

      public void setEnabled(Set<Transition> enabled)

    • 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