Text this: PS - сети - формальный аппарат моделирования параллельных процессов