В таблице приведены сведения о ... использующих описания моделей на основе ...

В таблице приведены сведения о существующих инструментальных моделирующих средах,
использующих описания моделей на основе сетей Петри. Краткий обзор существующих программных
средств позволяет выполнить их визуальное и концептуальное сравнение.
Возможности
Название
Среда (ОС)
Поддержка СП
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