Program menurut pn2a.sf.net

Paket GAP kecil untuk mengonversi jaring Petri ke automata status terbatas dan semikelompok transformasi.