Stav dette: Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем