Sisteme dinamice cu evenimente discrete

Obiective curs

• 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.