Пакеты, использующие сети Петри
Добрый день.
Ребят, подскажите какие-нибудь пакеты, которые используют сети Петри в качестве математических моделей. Мне просто хотя бы поверхностно нужно "обозреть" подобные сапры, а куда копать ума не приложу.
Спасибо.
|