Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем: монография - Васильев Всеволод Викторович (Наукова думка, 1990)