Program menurut acmgen.sf.net

ACMgen adalah generator kode otomatis dari Mekanisme Komunikasi Asinkron berdasarkan generasi model jaring Petri yang dapat diverifikasi secara resmi terhadap beberapa properti dan kemudian diubah menjadi implementasi nyata (