## Leerdoelen automaton simulator

- Je kunt in de automaton simulator een toestandsdiagram invoeren.
- Je weet wat een scenario is en wanneer dit geldig en ongeldig is.
- Je kunt met behulp van de simulator onderzoeken of een scenario 'geldig' is.
- Je kunt onderzoeken of toestanden bereikbaar zijn en snapt wat dit betekent in de werkelijkheid.
- Je kunt onderzoeken of er 'deadlock' kan optreden en begrijpt wat dit in de werkelijkheid betekent.
- Je weet dat er ook 'timed automata' bestaan en wat het verschil is met de automaat in deze module.