PetriKit является модульным инструментарием для анализа Petri Net. Это позволяет извлечения основных свойств, извлечения invariants, и генерации график доступности. Результаты могут быть отформатированы простым текстом, HTML или XML файлами.
история версии
- Версия 1.0 размещено на 2008-01-17
Несколько исправлений и обновлений - Версия 1.0 размещено на 2008-01-17
Подробная информация о программе
- Категории: Образования > Других
- Издателя: petrikit.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 1.0
- Платформы: windows