- foundations of problem solving and system modeling, discrete event systems - properties of processes, modeling using automata and Petri-nets - design considerations for processes (mutex, deadlock avoidance, liveness) - optimal scheduling for processes - optimal decisions when planning manufacturing systems, decisions under uncertainty - software design and software architectures for automation, PLCs |