Programy według acmgen.sf.net

ACMgen to automatyczny generator kodów asynchronicznych mechanizmów komunikacyjnych oparty na generowaniu modeli sieci Petriego, które można formalnie zweryfikować pod pewnymi właściwościami, a następnie przekształcić w rzecz