org.processmining.plugins.petrinet.behavioralanalysis.woflan
Class WoflanSemantics

java.lang.Object
  extended by 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

Constructor Summary
WoflanSemantics()
           
 
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
 

Constructor Detail

WoflanSemantics

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