Tarafından Programlar acmgen.sf.net

ACMgen, bazı özelliklere karşı resmi olarak doğrulanabilen ve daha sonra gerçek bir uygulamaya (örneğin.C++ veya Verilog' a dönüştürülebilen Petri ağları modellerinin oluşumuna dayanan Asynchronous İletişim Mekanizmalarının o