În lucrare este propusă o metodologie CAD pentru proiectarea sistemelor de control complexe. La descrierea sistemului se utilizează modele în baza reţelelor Petri. După analiza proprietăţilor comportamentale ale modelului ...