โปรแกรมตาม statemachinemod.sf.net

State Machine Modeler (SMM) เป็นเครื่องมือภาพสําหรับการสร้างและการแปลงเครื่องจักรของรัฐที่ จํากัด ผลักดันระบบอัตโนมัติและไวยากรณ์ที่เป็นทางการ SMM เป็นปลั๊กอิน Eclipse ตามกรอบการแก้ไขกราฟิก (GEF)