Package org.processmining.models.semantics.petrinet

Interface ResetNetSemantics

  • All Superinterfaces:
    org.processmining.models.semantics.Semantics<Marking,​Transition>, java.io.Serializable
    public interface ResetNetSemantics
extends org.processmining.models.semantics.Semantics<Marking,​Transition>

    • Method Summary

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

        executeExecutableTransition, getCurrentState, getExecutableTransitions, initialize, setCurrentState