応用情報技術者令和元年秋期 午前問46
ソフトウェアの要求分析や設計に利用されるモデルに関する記述のうち，ペトリネットの説明として，適切なものはどれか。
ペトリネット(Petri Net)は、プレース、トランジション、トークンの3つの要素を使用した有効グラフでシステムの動作を記述する図法です。並行する処理同士の制御の流れや同期のタイミングを分析・設計するために用いられます。トランジションは入力プレースと出力プレースに連結され、プレースがトークンをもつとき条件を満たしていることを表します。入力プレースのトークンが所定数に達するとトランジションが発火し、トークンは入力プレースから出力プレースに移動します。このようにペトリネットでは、トークンの流れや処理の連鎖によってシステムの動作を分析します。
