Программы pn2a.sf.net

Небольшой пакет GAP для преобразования сетей Петри в конечные государственные автоматы и полугруппы преобразования.