public interface PetriNetSimulationListener
Modifier and Type | Method and Description |
---|---|
void |
refreshDisplay()
Is called each time the simulation thinks the display should be refreshed.
|
void |
simulationFinished()
Is called each time the simulation Thread finishes.
|
void |
simulationStarted()
Is called each time the simulation Thread starts.
|
void refreshDisplay()
void simulationStarted()
void simulationFinished()