프로그램별 statemachinemod.sf.net

상태 기계 모델러(SMM)는 유한 상태 기계의 생성 및 변환을 위한 시각적 도구로 자동화 및 형식적인 문법을 밀어내고 있습니다. SMM은 그래픽 편집 프레임워크(GEF)를 기반으로 하는 이클립스 플러그인입니다.