org.processmining.plugins.petrinet.behavioralanalysis.woflan
Class WoflanSemantics
java.lang.Object
org.processmining.plugins.petrinet.behavioralanalysis.woflan.WoflanSemantics
- 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 WoflanSemantics
- extends java.lang.Object
- implements org.processmining.models.semantics.petrinet.PetrinetSemantics
- See Also:
- Serialized Form
Method Summary |
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)
|
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 |
WoflanSemantics
public WoflanSemantics()
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)
- Specified by:
initialize
in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>