В таблице приведены сведения о существующих инструментальных моделирующих средах, использующих описания моделей на основе сетей Петри. Краткий обзор существующих программных средств позволяет выполнить их визуальное и концептуальное сравнение. Возможности Название Среда (ОС) Поддержка СП ALPHA/Sim Высокоуровневые Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Простой анализ производительности Sun MS Windows Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Пустые позиции Инварианты позиций Инварианты переходов Уменьшение сети MS DOS Сети с поддержкой позиций/переходов Сети Петри с поддержкой времени Быстрое моделирование Пустые позиции Инварианты позиций Инварианты переходов Структурный анализ Простой анализ производительности MS DOS Высокоуровневые Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Простой анализ производительности Sun HP Silicon Graphics Linux MS Windows Коммерческий продукт ANARCO Коммерческий продукт ARP Распространяется бесплатно Artifex Компоненты Коммерческий продукт Генерация отчета Генератор кода на языке С CodeSign Высокоуровневые Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Sun MS Windows Macintosh Высокоуровневые Сети Петри Графический редактор Быстрое моделирование Структурный анализ Java Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Графический редактор Быстрое моделирование Пустые позиции Инварианты позиций Инварианты переходов Структурный анализ Sun Linux Macintosh Высокоуровневые Сети Петри Стохастические Сети Петри Графический редактор Работа с заявками Анимация Быстрое моделирование Пустые позиции Инварианты позиций Инварианты переходов Java Коммерческий продукт CoopnTools Распространяется бесплатно CPN-AMI Распространяется бесплатно DaNAMiCS Коммерческий продукт Возможности Название Среда (ОС) Поддержка СП Компоненты Структурный анализ Простой анализ производительности Расширенный анализ производительности Design/CPN Высокоуровневые Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Пустые позиции Простой анализ производительности Различные форматы файлов Sun HP Silicon Graphics Linux Стохастические Сети Петри Графический редактор Работа с заявками Анимация Быстрое моделирование Пустые позиции Инварианты позиций Инварианты переходов Структурный анализ Простой анализ производительности Расширенный анализ производительности Sun MS Windows Стохастические Сети Петри Графический редактор Работа с заявками Анимация Пустые позиции Инварианты позиций Простой анализ производительности Расширенный анализ производительности Sun HP Silicon Graphics Linux Сети с поддержкой позиций/переходов Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Структурный анализ Простой анализ производительности Различные форматы файлов Специальный язык программирования переходов MS Windows NT Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Структурный анализ Простой анализ производительности Sun HP Linux Распространяется бесплатно DNAnet Распространяется бесплатно DSPNexpress Коммерческий продукт EDS Petri Net Tool Коммерческий продукт ELSIR Коммерческий продукт Возможности Название Среда (ОС) Поддержка СП ExSpect Коммерческий продукт F-net Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Простой анализ производительности Расширенный анализ производительности Движок моделирования является COM объектом MS Windows Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Пустые позиции Инварианты позиций Инварианты переходов Структурный анализ Простой анализ производительности Расширенный анализ производительности MS Windows OS/2 Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Автоматическое расположение Sun Linux MS Windows Высокоуровневые Сети Петри Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Пустые позиции Уплотненные Пустые позиции Инварианты позиций Инварианты переходов Структурный анализ Расширенный анализ производительности Sun Linux Высокоуровневые Сети Петри Стохастические Сети Петри Графический редактор Работа с заявками Анимация Пустые позиции Инварианты позиций Инварианты переходов Расширенный анализ производительности Различные форматы файлов Sun Сети с поддержкой позиций/переходов Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Простой анализ производительности MS Windows Коммерческий продукт GDToolkit Компоненты Коммерческий продукт GreatSPN Коммерческий продукт HiQPN-Tool Распространяется бесплатно HPSim Распространяется бесплатно Возможности Название Среда (ОС) Поддержка СП INA Распространяется бесплатно Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Сети Петри с поддержкой времени Компоненты Пустые позиции Уплотненные Пустые позиции Инварианты позиций Инварианты переходов Уменьшение сети Структурный анализ Простой анализ производительности Расширенный анализ производительности Различные форматы файлов Sun Linux MS Windows Верификация модели на основе CTL INCOME Process Designer Высокоуровневые Сети Петри Стохастические Сети Петри Сети Петри с поддержкой времени Коммерческий продукт Графический редактор Работа с заявками Анимация Быстрое моделирование Инварианты переходов Уменьшение сети Структурный анализ Простой анализ производительности Расширенный анализ производительности Различные форматы файлов Sun HP Silicon Graphics Linux MS Windows Java Интерфейсы к моделирующим движкам, CASE средства, интегрированное управление документами, мониторинг процессов JARP Сети с поддержкой позиций/переходов Графический редактор Работа с заявками Анимация Пустые позиции Различные форматы файлов Java Высокоуровневые Сети Петри Графический редактор Работа с заявками Анимация Быстрое моделирование MS Windows Сети с поддержкой позиций/переходов Графический редактор Java Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Графический редактор Работа с заявками Анимация Sun MS Windows Распространяется бесплатно Looping Коммерческий продукт Marigold Распространяется бесплатно MISS-RdP Возможности Название Среда (ОС) Поддержка СП Коммерческий продукт The Model-Checking Kit Стохастические Сети Петри Сети Петри с поддержкой времени Быстрое моделирование Расширенный анализ производительности Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Пустые позиции Уплотненные Пустые позиции Распространяется бесплатно ModPet Распространяется бесплатно Компоненты Sun Linux Верификация модели на основе CTL/LTL, проверка на тупики и достижимость Сети с поддержкой позиций/переходов Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Простой анализ производительности MS Windows Transformation of Net in Problem of Linear Programming Moses Tool Suite Распространяется бесплатно Высокоуровневые Сети Петри Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Sun Linux MS Windows Java User-extendable PACE Коммерческий продукт PAREDE Объектно-ориентированные СП Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Уменьшение сети Сети Петри с поддержкой времени Пустые позиции Уплотненные Пустые позиции Структурный анализ MS DOS Сети с поддержкой позиций/переходов Сети Петри с поддержкой времени Графический редактор Sun Linux Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Графический редактор Работа с заявками Анимация Пустые позиции Уплотненные Пустые позиции Инварианты позиций Инварианты переходов Sun Linux Коммерческий продукт PED Распространяется бесплатно PEP Распространяется бесплатно Sun MS Windows «Размытое» Моделирование Возможности Название Среда (ОС) Поддержка СП Компоненты Уменьшение сети Структурный анализ Проверка модели Генератор СП PETRI Maker Сети с поддержкой позиций/переходов Графический редактор Работа с заявками Анимация Быстрое моделирование Пустые позиции Уплотненные Пустые позиции Инварианты позиций Инварианты переходов Простой анализ производительности MS Windows Сети с поддержкой позиций/переходов Графический редактор Java Распространяется бесплатно Petri Net Editor Генератор кода на языке С Распространяется бесплатно Petri Net Kernel Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Графический редактор Различные форматы файлов Распространяется бесплатно Sun Linux MS Windows Java Анимация Задание параметров пользователем PetriSim Распространяется бесплатно PNSim Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Сети Петри с поддержкой времени Графический редактор Быстрое моделирование MS DOS Сети с поддержкой позиций/переходов Графический редактор Работа с заявками Анимация Структурный анализ MS Windows Java Распространяется бесплатно Простой анализ СП PNtalk Высокоуровневые Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Простой анализ производительности Sun MS Windows Сети с поддержкой позиций/переходов Стохастические Сети Петри Графический редактор Работа с заявками Анимация Пустые позиции Инварианты позиций MS DOS MS Windows Распространяется бесплатно PN-tools Распространяется бесплатно Возможности Название Среда (ОС) Поддержка СП Компоненты Инварианты переходов Уменьшение сети Структурный анализ Простой анализ производительности Генератор СП Poses++ Высокоуровневые Сети Петри Быстрое моделирование Sun Linux MS Windows Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Пустые позиции Уплотненные Пустые позиции Sun HP Linux MS Windows Распространяется бесплатно PROD Распространяется бесплатно Renew Распространяется бесплатно SEA LTL Проверка модели, CTL Проверка модели Объектно-ориентированные СП Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Различные форматы файлов Java Высокоуровневые Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Sun Распространяется бесплатно Абстрактное графическое представление SPN2MGM Стохастические Сети Петри Коммерческий продукт Графический редактор Пустые позиции Уплотненные Пустые позиции Расширенный анализ производительности Sun Linux Матрично-геометрическое решение STROBOSCOPE Сети Петри с поддержкой времени Графический редактор Быстрое моделирование Инварианты позиций Инварианты переходов Простой анализ производительности Расширенный анализ производительности MS Windows Стохастические Сети Петри Графический редактор Пустые позиции Sun Коммерческий продукт SURF-2 Возможности Название Среда (ОС) Поддержка СП Инварианты позиций Инварианты переходов Расширенный анализ производительности Коммерческий продукт SYROCO Компоненты Высокоуровневые Сети Петри Сети Петри с поддержкой времени Коммерческий продукт Графический редактор Быстрое моделирование Простой анализ производительности Различные форматы файлов C++ Генерация кода на С++ THORN/DE Высокоуровневые Сети Петри Сети Петри с поддержкой времени Графический редактор Быстрое моделирование Простой анализ производительности Sun Linux Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Пустые позиции Инварианты позиций Структурный анализ Простой анализ производительности Расширенный анализ производительности Различные форматы файлов Sun Linux Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Простой анализ производительности Расширенный анализ производительности MS Windows Высокоуровневые Сети Петри Графический редактор Быстрое моделирование Sun Linux MS Windows Сети с поддержкой позиций/переходов Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Структурный анализ Простой анализ производительности MS Windows Коммерческий продукт TimeNET Коммерческий продукт TPTPN Распространяется бесплатно VIPtool Распространяется бесплатно Visual Object Net ++ Распространяется бесплатно поддержка иерархии объектов Возможности Название Среда (ОС) Поддержка СП Visual SimNet Распространяется бесплатно WebSPN Распространяется бесплатно Компоненты Высокоуровневые Сети Петри Сети с поддержкой позиций/переходов Стохастические Сети Петри Сети Петри с поддержкой времени Графический редактор Работа с заявками Анимация Быстрое моделирование Пустые позиции Инварианты позиций Инварианты переходов Структурный анализ Простой анализ производительности Расширенный анализ производительности MS DOS MS Windows Стохастические Сети Петри Графический редактор Работа с заявками Анимация Расширенный анализ производительности Java