「状態遷移図」の版間の差分

削除された内容 追加された内容
Takatota (会話 | 投稿記録)
m編集の要約なし
38行目:
== その他の拡張 ==
興味深い拡張として、矢印線が複数の状態から複数の状態へと接続することを許すものがある。これはシステムが同時並行する複数の状態を許す場合に意味があり、各状態はひとつの条件か過渡的な状態を表していて、それらが複合して全体の状態を表す。これを形式化したものが[[ペトリネット]]である。
uo
 
== 外部リンク ==