ペトリネット
Petri net
トークン(黒丸)、プレース(丸)、トランジション(箱)
Tokens, braces, transitions
トランジションの入力プレースにトークンがたまるとトランジションが発火して出力にトークンを渡す
