Это инструмент автоматического тестирования основаный на сетях Петри
Цель: Перенести тестирование на уровень построение модели функционирования исследуемой системы.
Задачи:
- Предоставить пользователю графический интерфейс с функционалом позволяющий описывать исследуемую систему сетью Петри.
- Предоставить возможность описывать на скриптовом языке команды выполняемые при переходе из одного состояния системы в другую.