Stateflow

Stateflow ， 是The MathWorks開發的利用狀態機和流程圖用於對響應系統進行建模的工具 。 Stateflow使用由David Harel提出的一種有限狀態機的圖示方式 ， 實現在一個狀態圖中對結構 、 平行機制及歷史記憶進行表示 。 此外Stateflow還提供了狀態轉移表和真值表 。