В первом приближении это эмулятор сетей Петри, позволяющий промоделировать каноническую сеть Петри, а также некоторое ее расширение, предложенное мною (касающееся передачи фишек).
Возможно использование следующих элементов сети :
Позиция (Place) - Содержит определенное количество фишек, количество которых отображается точками или числом, отсутствие числа или точки означает отсутствие фишки в позиции.
Переход (Bridge) - Моделирует некоторый процесс, имеет время выполнения (м.б. выбрана случайная величина в заданном диапазоне). При запуске сети занятость перехода отображается красной точкой в центре перехода.
Линия (Vector) - Является связующим элементом между перходами и позициями, в канонической сети Петри вводится понятие "пропускная способность" - число фишек, которое проходит через линию при запуске, если число фишек в позиции меньше чем пропускная способность, то переход не может сработать. Я ввел расширение для линии: число переносимых фишек через линию и минимальное число фишек для срабатывания перехода могут не совпадать (это может использоваться для организации переходов типа "проверка").
Опорная точка (Vector point) - не несет смысловой нагрузки, используется только для удобства представления длинных линий.
