1. と
と
2. の発火の結果は
、
の発火の結果は
、
の発火の結果は
。
3. と
1. 可達である。 から
に遷移する発火系列は、
、
、
、
のいずれか。
2. 、
は活性でない。
から可達なマーキング
から可達なマーキングで
、
が発火できるものは存在しない。
は活性である。
のマーキングはけっして0にならない。
3. は非有界、
は2有界、
、
は3有界である。