โปรแกรมตาม pn2a.sf.net

แพคเกจ GAP ขนาดเล็กสําหรับการแปลงตาข่าย Petri เป็น automata รัฐจํากัดและการแปลงกลุ่มกึ่ง