public class ReplayaState
extends java.lang.Object
Constructor and Description |
---|
ReplayaState(JSOReplaya rpla,
JSOPetriNet pnet,
org.processmining.models.semantics.petrinet.Marking initMarking,
int cohort) |
Modifier and Type | Method and Description |
---|---|
TokenCube |
AddToken(JSOPnPlace target,
JSOPnTransition source) |
void |
ClearTokens() |
void |
consume(double startTime,
double timeSpan,
JSOPnTransition t) |
void |
consumeEndToken(JSOPnTransition t) |
int |
getActivityInstances(JSOPnTransition t) |
int |
getTokenNum(JSOPnPlace source) |
void |
produce(double startTime,
double timeSpan,
JSOPnTransition t) |
void |
produceStartToken(JSOPnTransition t) |
TokenCube |
RemoveToken(JSOPnPlace source,
JSOPnTransition target) |
void |
Tick(double time) |
public ReplayaState(JSOReplaya rpla, JSOPetriNet pnet, org.processmining.models.semantics.petrinet.Marking initMarking, int cohort)
public void consume(double startTime, double timeSpan, JSOPnTransition t)
public void produceStartToken(JSOPnTransition t)
public void produce(double startTime, double timeSpan, JSOPnTransition t)
public void consumeEndToken(JSOPnTransition t)
public int getActivityInstances(JSOPnTransition t)
public void ClearTokens()
public int getTokenNum(JSOPnPlace source)
public TokenCube AddToken(JSOPnPlace target, JSOPnTransition source)
public TokenCube RemoveToken(JSOPnPlace source, JSOPnTransition target)
public void Tick(double time)