Programas por petrikit.sf.net

PetriKit é um kit de ferramentas modular para análise da Petri Net. Permite a extração de propriedades básicas, extração de invariantes e geração de gráficos de acessibilidade. Os resultados podem ser formatados em arquivos d