四角形の上部には状態名を記述する。中ほどに水平な線を引いて、その下に当該状態下で行われる活動を記述する。)付きで書かれた式を付記し、その式が真のときに遷移が発生することを表す。太い水平線で複数の線(遷移を表す矢印線)をひとつの線にまとめたり、その逆をする。呼ばれ、並列状態の終了と開始を意味する。その他の拡張[編集]興味深い拡張として、矢印線が複数の状態から複数の状態へと接続することを許すものがある。これはシステムが同時並行する複数の状態を許す場合に意味があり、各状態はひとつの条件か過渡的な状態を表していて、それらが複合して全体の状態を表す。これを形式化したものがペトリネットである。1つの拡張として、フローチャートとハレルの状態遷移図を統合したものがある。この拡張はイベント駆動型とワークフロー駆動型の両方のソフトウェアの開発をサポートする。Samek外部リンク[編集]ウィキメディア・コモンズには、状態遷移図に関連するカテゴリがあります。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。