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