プログラム efsm.sf.net

リアクティブシステムまたはステートフルシステムのモデル化と制御に使用できる、組み込み有限ステートマシン(FSM)ファシリティ。システムは、任意の数の状態で表すことができます。状態遷移は、いくつかのイベントによって駆動されます。eFSM は C で書かれています。