プログラム statemachinemod.sf.net

ステートマシンモデラー(SMM)は、有限ステートマシンの作成と変換、オートメーションのプッシュダウン、正式な文法のための視覚的なツールです。SMM は、グラフィカル編集フレームワーク (GEF) に基づく Eclipse プラグインです。