Seti PETRI, paralleľnyje algoritmy i modeli muľtiprocessornych sistem - Vasiľjev, Vsevolod Viktorovič (Naukova dumka, 1990)