Λογικά συστήματα, πεπερασμένα ντετερμινιστικά αυτόματα, μοντελοποίηση και ανάλυση συστημάτων διακριτών συμβάντων, πολυμελείς πράξεις και ιδιότητες συστημάτων διακριτών συμβάντων, θεωρία και ιδιότητες κανονικών γλωσσών, έλεγχος συστημάτων διακριτών συμβάντων, ελεγξιμότητα γλωσσών, εφαρμογές σε γραμμές παραγωγής, βιομηχανικά συστήματα, προσομοίωση και υλοποίηση με διαγράμματα Ladder.