org.processmining.hybrid.execsemantics.experimental.impl.PN

Class ExpExecSemanticsPNImpl

java.lang.Object

org.processmining.hybrid.execsemantics.experimental.impl.PN.ExpExecSemanticsPNImpl

public class ExpExecSemanticsPNImpl
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ExpExecSemanticsPNImpl(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn, java.util.Collection<java.lang.String> skippableSubprocesses)

Method Summary

Modifier and Type	Method and Description
boolean	canTerminate(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> canTerminate)
void	endTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
void	executeTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>	getEnabledTransitions(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> canTerminate) TODO: Not yet checked the transitive closure (transitive closure is something specific for the Precision computation, we can maybe split this) However, the subprocess can maybe terminate directly, formally, we have to perform an action in the subprocess.
void	initialise()
void	initialise(org.processmining.models.semantics.petrinet.Marking marking, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> running)
boolean	isTerminated(org.processmining.models.semantics.petrinet.Marking finalMarking)
void	startTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpExecSemanticsPNImpl

public ExpExecSemanticsPNImpl(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
                              java.util.Collection<java.lang.String> skippableSubprocesses)

Method Detail

initialise

public void initialise()

initialise

public void initialise(org.processmining.models.semantics.petrinet.Marking marking,
                       java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> running)

isTerminated

public boolean isTerminated(org.processmining.models.semantics.petrinet.Marking finalMarking)

canTerminate

public boolean canTerminate(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> canTerminate)

Parameters:

canTerminate: - These are the transition corresponding to subprocesses that can terminate

Returns:

getEnabledTransitions

public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> canTerminate)

TODO: Not yet checked the transitive closure (transitive closure is something specific for the Precision computation, we can maybe split this) However, the subprocess can maybe terminate directly, formally, we have to perform an action in the subprocess.

Returns:

executeTransition

public void executeTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

startTransition

public void startTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

endTransition

public void endTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)