Я использую CPN Tools для моделирования распределенной системы. CPN Tools использует CPN ML для расширения SML. На главной странице проекта: cpntools.org Я начал с простой модели, и когда я пытаюсь сд
Друг просто указал мне на новую разработку в области компьютерных наук под названием «проверка на основе правил с сетями Петри». Он не компьютерный парень, а художник, поэтому я задаюсь вопросом, дейс
Я реализую coloured petri net в Java. Это своего рода автоматы с конечным состоянием. Проблема в том, что я не знаю, как реализовать «привязку». Другими словами, цвета должны быть назначены местам, а