프로그램별 acmgen.sf.net

ACMgen은 일부 속성에 대해 공식적으로 확인한 다음 실제 구현(예: .C++ 또는 Verilog)으로 변환할 수 있는 Petri nets 모델의 생성을 기반으로 하는 비동기 통신 메커니즘의 자동 코드 생성기입니다.