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

สิ่งอํานวยความสะดวกเครื่องสถานะจํากัดแบบฝังตัว (FSM) ที่สามารถใช้ในการจําลองและควบคุมระบบปฏิกิริยาหรือสถานะ ระบบสามารถแสดงได้ตามรัฐจํานวนใดๆ การเปลี่ยนสถานะจะถูกขับเคลื่อนโดยเหตุการณ์จํานวนหนึ่ง eFSM เขียนขึ้นใน C