TY JOUR TI ВЛОЖЕННЫЕ СЕТИ ПЕТРИ И НАГРУЖЕННЫЕ МЕТКИ: РАСПРЕДЕЛЕННАЯ СИСТЕМА И РЕКУРСИЯ KW вложенные сети Петри KW нагруженные метки KW рекурсия KW распределенные системы KW факториал KW комбинированный тип данных KW горизонтальная и вертикальная синхронизации срабатывания переходов JO Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика AU Марков, А.. AU Воевода, А.. PY 2015 IS 2015 PB Астраханский государственный технический университет