public class TokenFlowSimulation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
boolean |
bTokenMismatch |
boolean |
bTransitionFired |
Constructor and Description |
---|
TokenFlowSimulation(INetDataSource pnet,
org.processmining.models.semantics.petrinet.Marking mNewNet) |
Modifier and Type | Method and Description |
---|---|
TokenFlowSimulation |
clone() |
TransitionEvent |
fireTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans,
ITraceAlignment ta) |
TransitionEvent |
fireTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans,
ITraceAlignment ta,
TraceReplayStepData trs) |
java.lang.String |
getStateDesc() |
TokenFlowResults |
getTransitionEvents() |
void |
InitResults() |
public boolean bTransitionFired
public boolean bTokenMismatch
public TokenFlowSimulation(INetDataSource pnet, org.processmining.models.semantics.petrinet.Marking mNewNet)
public TokenFlowSimulation clone()
clone
in class java.lang.Object
public void InitResults()
public TokenFlowResults getTransitionEvents()
public TransitionEvent fireTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans, ITraceAlignment ta)
public TransitionEvent fireTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans, ITraceAlignment ta, TraceReplayStepData trs)
public java.lang.String getStateDesc()