PetriKit: Petri Net Analysis Toolkit 1.0

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎1 ‎Голосов

PetriKit является модульным инструментарием для анализа Petri Net. Это позволяет извлечения основных свойств, извлечения invariants, и генерации график доступности. Результаты могут быть отформатированы простым текстом, HTML или XML файлами.

история версии

  • Версия 1.0 размещено на 2008-01-17
    Несколько исправлений и обновлений
  • Версия 1.0 размещено на 2008-01-17

Подробная информация о программе