Tijd in model

Een probleem als in de vraag hiervoor kun je in deze automaat niet goed oplossen.

Een mogelijkheid is om de tijd in de automaat te laten tellen.

Je kunt dan een overgang maken met iets als:

'Als de plek na 10 seconden niet schoon is ga dan terug naar toestand Loop' of zelfs een toestand 'geef waarschuwing'erbij kunnen maken ...

Automaten waarmee je ook de tijd kunt modeleren worden veel gebruikt en worden 'Timed automata' genoemd.

Wij zullen hier in deze module niet verder op in gaan.