Platform Independent Petri Net Editor

Проект платформы Независимый Петри редактор (труба) создает и анализирует сетей Петри быстро, эффективно и эффективно.
Ключевой особенностью конструкции является модульный подход принят для анализа, что позволяет новые модули легко и мощно написано, используя встроенные методы уровня данных для стандартных расчетов.
Шесть модулей анализа предоставляются, в том числе анализ, инвариантная государство-пространственного анализа (тупик, и т.д.), и моделирование анализа и классификации.
ТРУБЫ придерживается XML Петри стандарта (PNML). Формат файла для сохранения и загрузки сетей Петри является расширяемым за счет использования XSLT, по умолчанию устанавливается PNML.