프로그램별 pn2a.sf.net

페트리 그물을 유한 상태 오토마타 및 변환 세미그룹으로 변환하기 위한 작은 GAP 패키지입니다.