Управление, моделирование, автоматизация УДК 681.3 А. В. Марков, А. А. Воевода ВЛОЖЕННЫЕ СЕТИ ПЕТРИ И НАГРУЖЕННЫЕ МЕТКИ: РАСПРЕДЕЛЕННАЯ СИСТЕМА И РЕКУРСИЯ1 Для моделирования параллельных процессов, сложных многоуровневых систем без дополнительных мест, переходов и их взаимосвязей, синхронизации разных потоков информации и представления в разных сетях одинаковых мест с разной маркировкой используются вложенные сети Петри. <...> Альтернативой данного вида сетей являются сети с нагруженными метками, которые содержат дополнительную информацию о структуре системы или об истории её изменений. <...> Сравнение подходов построения сетей Петри на основе вложенных сетей и сетей с нагруженными метками выполняется на примере анализа распределенной системы агентства проката автомобилей и решения рекурсивной задачи – нахождения факториала числа. <...> Анализ распределенной системы агентства выполнен на основе двухуровневых вложенных сетей Петри с использованием вертикальной и горизонтальной синхронизации. <...> В первом случае за основу берется структура системной сети, во втором – сеть состоит из трёх мест, к каждому из которых добавляется определенный набор типов данных для отображения возможных состояний системы. <...> Нахождение факториала числа у вложенных сетей Петри осуществляется через вертикальную синхронизацию срабатывания переходов между системной сетью и элементными сетями, а при использовании нагруженных меток – через комбинированный тип данных мест сети. <...> Моделирование и автоматический анализ сетей Петри для данных примеров происходит в программной среде CPN Tools (Version 4.0.0). <...> Ключевые слова: вложенные сети Петри, нагруженные метки, рекурсия, распределенные системы, факториал, комбинированный тип данных, горизонтальная и вертикальная синхронизации срабатывания переходов. <...> Введение Для верификации проектируемых моделей на семантические ошибки прибегают к использованию сетей Петри [1], которые являются <...>