Atur cara mengikut acmgen.sf.net

ACMgen adalah penjana kod automatik Mekanisme Komunikasi Asynchronous berdasarkan penjanaan model jaring Petri yang boleh disahkan secara rasmi terhadap beberapa hartanah dan kemudian berubah menjadi pelaksanaan sebenar (cont