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

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