Chương trình theo physhun.sf.net
-
Physhun Miễn phí
Physhun là một khuôn khổ Java để xây dựng và thực hiện các máy trạng thái hữu hạn trong môi trường J2SE và J2EE. Các mô hình nhà nước được định nghĩa là bộ sưu tập đậu mùa xuân, và không sử dụng ngôn ngữ mô hình hóa độc quyền