Programas por pn2a.sf.net

Pequeno pacote GAP para converter redes Petri em autómatos estatais finitos e semigrupos de transformação.