Text this: Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой