ペトリネットの解析と応用 (アルゴリズムシリーズ)