並行性検出の限界を押し広げる：O(P 2 + T 2)におけるACYCLIC SOUND FREE-CHOICE WORKFLOW NETSでの並行性検出

Petriネットにおける並行性検出の重要性と、新しいCPアルゴリズムの導入