Я ищу инструмент, который поможет перенести UML-диаграмму в модель сети Петри. Я много искал, но не могу найти. Пожалуйста, помогите мне, если вы знаете хороший инструмент для перевода UML в сеть Петри.