În lucrare este propusă o metodă de proiectare a sistemelor de control în timp real în baza Reţelelor Petri Hard ( ). Este definită o Reţea Petri Hard printr-o mulţime de elemente de procesare (poziţii şi tranziţii) şi ...