द्वारा कार्यक्रम acmgen.sf.net

एसीएमजीन पेट्री नेट मॉडल की पीढ़ी के आधार पर अतुल्यकालिक संचार तंत्र का एक स्वचालित कोड जनरेटर है जिसे औपचारिक रूप से कुछ गुणों के खिलाफ सत्यापित किया जा सकता है और फिर वास्तविक कार्यान्वयन (जैसे.C + + या वेरिलॉग) में बदल दिय