状態遷移図
ハレルの状態遷移図(デビッド・ハレルが1987年に開発)はハレルチャートとも呼ばれ、広く使われている。「上位状態」を表現したり、並列状態を表現することができ、状態の内部の活動をモデル化できる。