Package org.processmining.pnanalysis.semantics

Class CyclomaticSemantics

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

    • Constructor Summary

      Constructors 
      Constructor Description
      CyclomaticSemantics​(int nofStates)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      org.processmining.models.semantics.ExecutionInformation 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> getExecutableTransitions()  
      void initialize​(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions, org.processmining.models.semantics.petrinet.Marking initialState)
      Initializes this semantics.
      void setCurrentState​(org.processmining.models.semantics.petrinet.Marking currentState)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • CyclomaticSemantics

        public CyclomaticSemantics​(int nofStates)

    • Method Detail

      • setCurrentState

        public void setCurrentState​(org.processmining.models.semantics.petrinet.Marking currentState)
        Specified by:
        setCurrentState in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition>

      • getCurrentState

        public org.processmining.models.semantics.petrinet.Marking getCurrentState()
        Specified by:
        getCurrentState 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()
        Specified by:
        getExecutableTransitions in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition>

      • executeExecutableTransition

        public org.processmining.models.semantics.ExecutionInformation executeExecutableTransition​(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute)
                                                                                    throws org.processmining.models.semantics.IllegalTransitionException
        Specified by:
        executeExecutableTransition in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition>
        Throws:
        org.processmining.models.semantics.IllegalTransitionException

      • initialize

        public void initialize​(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions,
                       org.processmining.models.semantics.petrinet.Marking initialState)
        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>