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

Constructor Summary

Constructors

Constructor and Description
WoflanSemantics()

Method Summary

Modifier and Type	Method and 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

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)

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>