Teoria reţelelor Petri este preocupată de desfăşurarea calculului din sistem, focusându-se pe proprietăţi cum ar fi concurenţa şi conflictul. Semantica operaţională a reţelelor Petri permite analiza modelelor ESC într-o ...