Chương trình theo statemachinemod.sf.net

State Machine Modeler (SMM) là một công cụ trực quan để tạo ra và chuyển đổi các máy trạng thái hữu hạn, đẩy lùi tự động hóa và ngữ pháp chính thức. SMM là một plug-in Eclipse dựa trên khung chỉnh sửa đồ họa (GEF).