Descrição
Funções relacionadas a redes de Petri podem ser incorporadas a software C++ por uma biblioteca dedicada. Este pacote é consumido por desenvolvedores e ferramentas de pesquisa, não aberto diretamente. Ele apoia fluxos de modelagem e análise e não tem interface independente de usuário.