永久自由选择Petri网是清晰的——用CP-穷举法证明van der Aalst定理
Perpetual Free-choice Petri nets are lucent -- proof of a theorem of van der Aalst using CP-exhaustions
AI总结：
本文通过CP-子网穷举法证明van der Aalst定理，即永久自由选择Petri网是清晰的，并用初等方法分析所得T-系统。
摘要：
Van der Aalst定理是过程模型分析与综合的重要结果。本文通过用CP-子网穷举永久的自由选择Petri网来证明该定理。所得T-系统用初等方法进行研究。
英文摘要：
Van der Aalst's theorem is an important result for the analysis and synthesis of process models. The paper proves the theorem by exhausting perpetual free-choice Petri nets by CP-subnets. The resulting T-systems are investigated by elementary methods.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
