PS - сети - формальный аппарат моделирования параллельных процессов; Математическое и программное обеспечение САПР - Марков Н. Г. Николай Григорьевич (1997, 1997)