Package org.processmining.models.semantics.petrinet.impl

Class StochasticNetSemanticsImpl

  • All Implemented Interfaces:
    java.io.Serializable, StochasticNetSemantics, org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition>
    public class StochasticNetSemanticsImpl
extends java.lang.Object
implements StochasticNetSemantics
    See Also:
    Serialized Form

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected org.processmining.models.semantics.petrinet.Marking state  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object o)  
      org.processmining.models.semantics.petrinet.PetrinetExecutionInformation executeExecutableTransition​(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute)  
      org.processmining.models.semantics.petrinet.Marking getCurrentState()  
      java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions()
      Gets all transitions, that are still enabled, even though some immediate transitions can fire first.
      java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getExecutableTransitions()
      Overrides default semantics, as only one of the transitions with highest priority can fire
      protected org.processmining.models.semantics.petrinet.Marking getProduced​(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)  
      protected org.processmining.models.semantics.petrinet.Marking getRemoved​(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)  
      protected org.processmining.models.semantics.petrinet.Marking getRequired​(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)  
      protected java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitions()  
      int hashCode()  
      void initialize​(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions, org.processmining.models.semantics.petrinet.Marking state)
      Initializes this semantics.
      protected boolean isEnabled​(org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.Marking required, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)  
      void setCurrentState​(org.processmining.models.semantics.petrinet.Marking currentState)  
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface org.processmining.models.semantics.Semantics

        executeExecutableTransition, getCurrentState, setCurrentState

    • Field Detail

      • state

        protected org.processmining.models.semantics.petrinet.Marking state

    • Constructor Detail

      • StochasticNetSemanticsImpl

        public StochasticNetSemanticsImpl()

    • Method Detail

      • initialize

        public void initialize​(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions,
                       org.processmining.models.semantics.petrinet.Marking state)
        Description copied from interface: org.processmining.models.semantics.Semantics
        Initializes this semantics. Note that the set of transitions is considered read only, i.e. no changes can be made to it by a Semantics implementation. However, the initial state is not read only.
        Specified by:
        initialize in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition>

      • getExecutableTransitions

        public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getExecutableTransitions()
        Overrides default semantics, as only one of the transitions with highest priority can fire
        Specified by:
        getExecutableTransitions in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition>

      • getEnabledTransitions

        public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions()
        Gets all transitions, that are still enabled, even though some immediate transitions can fire first.
        Returns:
        all enabled transitions (these do not lose progress in the "enabling memory" policy, even though they can not fire in a vanishing marking...)

      • getTransitions

        protected java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitions()

      • isEnabled

        protected boolean isEnabled​(org.processmining.models.semantics.petrinet.Marking state,
                            org.processmining.models.semantics.petrinet.Marking required,
                            org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

      • getCurrentState

        public org.processmining.models.semantics.petrinet.Marking getCurrentState()

      • setCurrentState

        public void setCurrentState​(org.processmining.models.semantics.petrinet.Marking currentState)

      • executeExecutableTransition

        public org.processmining.models.semantics.petrinet.PetrinetExecutionInformation executeExecutableTransition​(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute)
                                                                                                     throws org.processmining.models.semantics.IllegalTransitionException
        Throws:
        org.processmining.models.semantics.IllegalTransitionException

      • getRequired

        protected org.processmining.models.semantics.petrinet.Marking getRequired​(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)

      • getProduced

        protected org.processmining.models.semantics.petrinet.Marking getProduced​(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)

      • getRemoved

        protected org.processmining.models.semantics.petrinet.Marking getRemoved​(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object

      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object