ペトリネットモデル

ペトリネットは、プレース（状態）、トランジション（出来事）、矢印、トークン（印）を使って、並行して動くシステムの振る舞いを表すモデルです。

■ 試験で押さえるポイント

• トークンの動きで、状態の変化を表します。

• デッドロックの有無などを分析できます。

■ 過去問での着眼点

並行処理や同期の分析に使う点を押さえます。

例: 2つの処理が同じ資源を取り合う様子をペトリネットで描き、デッドロックを調べます。