Programma's van acmgen.sf.net

ACMgen is een automatische codegenerator van Asynchrone communicatiemechanismen op basis van de generatie van petrinettenmodellen die formeel kunnen worden geverifieerd tegen sommige eigenschappen en vervolgens kunnen worden