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

Công cụ vẽ máy trạng thái phân cấp. Cũng cung cấp thế hệ mã cho một phiên bản sửa đổi của công cụ máy nhà nước Qf4Net.