public class ReplayaStateSim
extends java.lang.Object
Constructor and Description |
---|
ReplayaStateSim(JSOPetriNet pnet,
org.processmining.models.semantics.petrinet.Marking initMarking,
ReplaySimOptimizer rso) |
Modifier and Type | Method and Description |
---|---|
TokenInfo |
AddToken(JSOPnPlace target,
JSOPnTransition source) |
boolean |
CanTransitionEventFire(ReplayaEvent evt) |
void |
ClearTokens() |
void |
consume(ReplayaEvent evt,
JSOPnTransition t) |
void |
consumeEndToken(ReplayaEvent evt,
JSOPnTransition t) |
void |
FinishReplaySim() |
int |
getActivityInstances(JSOPnTransition t) |
int |
getTokenNum(JSOPnPlace source) |
java.util.Vector<TokenInfo> |
getTokens() |
void |
produce(ReplayaEvent evt,
JSOPnTransition t) |
void |
produceStartToken(ReplayaEvent evt,
JSOPnTransition t) |
TokenInfo |
RemoveToken(JSOPnPlace source,
JSOPnTransition target) |
void |
Tick(double deltaTime) |
public ReplayaStateSim(JSOPetriNet pnet, org.processmining.models.semantics.petrinet.Marking initMarking, ReplaySimOptimizer rso)
public java.util.Vector<TokenInfo> getTokens()
public void FinishReplaySim()
public boolean CanTransitionEventFire(ReplayaEvent evt)
public void consume(ReplayaEvent evt, JSOPnTransition t)
public void produce(ReplayaEvent evt, JSOPnTransition t)
public void consumeEndToken(ReplayaEvent evt, JSOPnTransition t)
public void produceStartToken(ReplayaEvent evt, JSOPnTransition t)
public int getActivityInstances(JSOPnTransition t)
public void ClearTokens()
public int getTokenNum(JSOPnPlace source)
public TokenInfo RemoveToken(JSOPnPlace source, JSOPnTransition target)
public TokenInfo AddToken(JSOPnPlace target, JSOPnTransition source)
public void Tick(double deltaTime)