状態遷移を記述するための図．
　動作を感覚的に把握しやすい，並列処理の記述が容易などの特徴がある．