public interface PetriNetEngineListener
Modifier and Type | Method and Description |
---|---|
void |
engineReset()
Is called when the engine is reseted.
|
void |
transitionFired(Transition t,
int instanceId,
double cost,
double duration)
Is called each time the PetriNetEngine fires a transition.
|
void transitionFired(Transition t, int instanceId, double cost, double duration)
t
- - The transition that has been fired.instanceId
- - The instance that has been fired by the transition.cost
- - The costs produced by firing this transition.duration
- - The time elapsed by firing this transition.void engineReset()