#import "../lib.typ": *

#knowledge[
    #question(name: [Explain the concept of a discrete event.])[]
    #question(name: [Contrast the concept of a time-driven continuous-variable (dynamical) system with that of a discrete-event system.])[]
    #question(name: [Give a formal definition of a state automaton and show an example of its graphical representation by means of a state transition graph/diagram.])[]
    #question(name: [Explain the concept of a language and how it is related to a (state) automaton.])[]
    #question(name: [Enumerate standard components of a queuing system. Give a few examples of a queueing system.])[]
    #question(name: [Give a few important extensions of the standard state automaton.])[]
    #question(name: [When introducing time into an automaton, which elements must be added into the (definition of the standard untimed) automaton?])[]
]

#skills[
    #question(name: [Formulate some simple discrete-event system as a state automaton. If the number of states is small, draw a transition graph of the automaton.])[]
    #question(name: [Build a simple automaton using StateFlow.])[]
    #question(name: [Build a simple queueing system using SimEvents.])[]
    #question(name: [Build a simple timed automaton using UPPAAL.])[]
]