ペトリネットとは？これをペトリネットでモデル化したものが図2である。 ペトリネットではそれぞれ、図中の`丸'を「プレース」、 `棒'を「トランジション」、 `矢印'を「アーク」、 プレース内の`小さな黒丸'を「トークン」と呼ぶ。 ペトリネットではプレース内のトークンの分布がそのシステムの 状態を表す。 図2では、各プレース内のトークン数がそれぞれ、p1ではバターの量、 p2ではパンの数、p3ではハムの数、p4ではチーズの数、 p5ではバターを塗ったパンの数、p6ではカットしたハムの数、 p7ではカットしたチーズの数、p8では完成したサンドイッチの数を 表している。 トランジションはシステムの動作を表す。 図2では、各トランジションはそれぞれ、t1は「バターを塗る」、 t2は「ハムをカットする」、t3は「チーズをカットする」、 t4は「ハムとチーズをパンで挟む」を表している。 ペトリネットではトークン分
