Chương trình theo acmgen.sf.net

ACMgen là một máy phát điện mã tự động của cơ chế truyền thông không đồng bộ dựa trên việc tạo ra các mô hình lưới Petri có thể được chính thức xác minh đối với một số thuộc tính và sau đó chuyển thành một thực hiện thực tế (