Descrição
Redes de Petri e modelos de circuitos assíncronos podem ser sintetizados para fluxos de pesquisa e engenharia. Esta ferramenta de linha de comando dá suporte a transformações de modelos formais usadas em concorrência e design de circuitos. Ela é voltada a pesquisadores, estudantes e engenheiros que trabalham com esses modelos.