Dezvoltarea capacităţii studenţilor de a modela utilizând formalismele automate şi reţele Petri a sistemelor cu evenimente discrete
Dezvoltarea capacităţii studenţilor de a interpreta (analiza) evoluţia unui sistem pe baza modelului acestuia realizat utilizând unul din formalismele mai sus menţionate.
Obiective laborator
Rezolvarea de probleme (studii de caz) care să completeze informaţiile de la curs pentru atingerea obiectivelor cursului.
Conținut curs
Teoria limbajelor formale, expresii regulate.
Teoria automatelor:
Automate Finite Deterministe
Automate Finite Nedeterministe
Automate Finite Nedeterministe cu tranzitii epsilon
Teoria retelelor Petri
Retele Petri autonome
Retele Petri sincronizate
Retele Petri temporizate
Conținut laborator
Aplicaţii privind teoria automatelor şi a reţelelor Petri, legate de materia predata la curs.